scientific article; zbMATH DE number 1231683

zbMATH Open0917.68071MaRDI QIDQ4223012FDOQ4223012

Authors: Massimo Merro 

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.007

Title of this publication is not available (Why is that?)

Recommendations

• Programming Languages and Systems
• On the relative expressive power of calculi for mobility
• Variations on mobile processes
• On the expressiveness of the \(\pi \)-calculus and the mobile ambients
• A calculus of mobile processes. I

zbMATH Keywords

fusion calculusupdate calculus

Mathematics Subject Classification ID

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

Cited In (5)

• Minimality and separation results on asynchronous mobile processes -- representability theorems by concurrent combinators
• Explicit fusions
• On the expressive power of polyadic synchronisation in \(\pi \)-calculus
• Programming Languages and Systems
• Processes against tests: on defining contextual equivalences

Uses Software

• Pict

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 Q4223012)