A Concurrent Pattern Calculus
نویسندگان
چکیده
منابع مشابه
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 provides a natural language to express trade where information exchange is pivotal to interactio...
متن کاملConcurrent Pattern Calculus
Concurrent pattern calculus drives interaction between processes by unifying patterns, just as sequential pattern calculus drives computation by matching a pattern against a data structure. By generalising from pattern matching to unification, interaction becomes symmetrical, with information flowing in both directions. This provides a natural language for describing any form of exchange or tra...
متن کاملFrom a Concurrent - calculus to the - calculus ?
We explore the (dynamic) semantics of a simply typed-calculus enriched with parallel composition, dynamic channel generation, and input-output communication primitives. The calculus, called the k-calculus, can be regarded as the kernel of concurrent-functional languages such as LCS, CML and Facile, and it can be taken as a basis for the definition of abstract machines, the transformation of pro...
متن کاملA Calculus for Concurrent Objects
This paper presents an imperative and concurrent extension of the functional objectoriented calculus described in [FHM94]. It belongs to the family of so-called prototypebased object-oriented languages, in which objects are created from existing ones via the inheritance primitives of object extension and method override. Concurrency is introduced through the identi cation of objects and process...
متن کاملA Calculus for Concurrent Update
This paper introduces a calculus for concurrent update (CCU) that is used to specify distributed objects. The calculus permits updates to be effected immediately at each site − no central server, locking, token passing, rollback, or other form of serialization is enforced. Notice of each update at each site is transmitted to every other site, where a corresponding update is effected. Unless spe...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Logical Methods in Computer Science
سال: 2014
ISSN: 1860-5974
DOI: 10.2168/lmcs-10(3:10)2014