A Concurrent Pattern Calculus

Concurrent pattern calculus (CPC) drives interaction between processes by comparing data structures, just as sequential pattern calculus drives computation. By generalising from pattern matching to pattern unification, interaction becomes symmetrical, with information flowing in both directions. CPC...

Full description

Bibliographic Details

Published in:	arXiv.org
Main Authors:	Given-Wilson, Thomas, Gorla, Daniele, Barry, Jay
Format:	Paper
Language:	English
Published:	Ithaca Cornell University Library, arXiv.org 20.08.2014
Subjects:	Calculus Coding Data exchange Data structures Pattern matching
ISSN:	2331-8422
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!