The fusion machine (Extended abstract)

DOI10.1007/3-540-45694-5_28MaRDI QIDQ4484502zbMATH OpenFDO

Authors Philippa Gardner, Lucian Wischik, Cosimo Laneve

Publication date 12 June 2003

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2421/24210418.htm

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• -calculi
• Programming Languages and Systems
• Explicit fusions
• Explicit fusions
• Safe ambients: Abstract machine and distributed implementation

Cited in

(11)

• Pict correctness revisited
• A compositional coalgebraic model of fusion calculus
• Linear forwarders
• Explicit fusions
• Name-passing calculi: from fusions to preorders and types
• A behavioural theory for a \(\pi\)-calculus with preorders
• Pict Correctness Revisited
• Linear forwarders.
• A pi-calculus based semantics for WS-BPEL
• A behavioural theory for a \(\pi\)-calculus with preorders
• Using bisimulation proof techniques for the analysis of distributed abstract machines

This page was built for publication: The fusion machine (Extended abstract)

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