Concurrent Pattern Calculus - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2010

Concurrent Pattern Calculus

Résumé

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 trade. Many popular process calculi can be encoded in concurrent pattern calculus.
Fichier principal
Vignette du fichier
03230244.pdf (145.38 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01054456 , version 1 (06-08-2014)

Licence

Identifiants

Citer

Thomas Given-Wilson, Daniele Gorla, Barry Jay. Concurrent Pattern Calculus. 6th IFIP TC 1/WG 2.2 International Conference on Theoretical Computer Science (TCS) / Held as Part of World Computer Congress (WCC), Sep 2010, Brisbane, Australia. pp.244-258, ⟨10.1007/978-3-642-15240-5_18⟩. ⟨hal-01054456⟩
142 Consultations
136 Téléchargements

Altmetric

Partager

More