scientific article; zbMATH DE number 1231684

MaRDI QIDQ4223013zbMATH OpenFDO

Authors Uwe Nestmann

Publication date 7 January 1999

Full work available at URL http://www.elsevier.com/cas/tree/store/tcs/free/entcs/store/contents.htt?jrnl=tcs&sctn=entcs&mode=sub&vol=16&iss=2#16.2.008

zbMATH Keywords

join calculus

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10)

Recommendations

• On the expressiveness of joining
• scientific article; zbMATH DE number 1088042
• scientific article; zbMATH DE number 2059568
• Inheritance in the join calculus.
• On the expressive power of polyadic synchronisation in -calculus

Cited in

(10)

• A formal approach to open multiparty interactions
• Joint chance constrained input shaping
• The \texttt{link}-calculus for open multiparty interactions
• A constraint-based language for multiparty interactions
• On the expressive power of polyadic synchronisation in -calculus
• Symbolic Semantics for Multiparty Interactions in the Link-Calculus
• scientific article; zbMATH DE number 1231691 (Why is no real title available?)
• On the expressiveness of joining
• Bisimulations in the join-calculus
• On the expressiveness of joining and splitting

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4223013)