scientific article; zbMATH DE number 1231683

MaRDI QIDQ4223012zbMATH OpenFDO

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

zbMATH Keywords

fusion calculusupdate calculus

Mathematics Subject Classification ID

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

Recommendations

• D-fusion: A distinctive fusion calculus
• On the relative expressive power of calculi for mobility
• Variations on mobile processes
• On the expressiveness of the -calculus and the mobile ambients
• A calculus of mobile processes. I

Cited in

(5)

• Processes against tests: on defining contextual equivalences
• Explicit fusions
• On the expressive power of polyadic synchronisation in -calculus
• D-fusion: A distinctive fusion calculus
• Minimality and separation results on asynchronous mobile processes -- representability theorems by concurrent combinators

Describes a project that uses

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)