Concurrent nets: a study of prefixing in process calculi

zbMATH Open1272.68287MaRDI QIDQ2848136FDOQ2848136

Authors: Emmanuel Beffara, François Maurel 

Publication date: 25 September 2013

Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066105001556

Recommendations

• Concurrent nets: a study of prefixing in process calculi
• On the implementation of concurrent calculi in net calculi: two case studies
• Concurrent programming as proof net construction
• scientific article; zbMATH DE number 4018372
• scientific article; zbMATH DE number 1223724

Mathematics Subject Classification ID

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

Cited In (6)

• An exact correspondence between a typed pi-calculus and polarised proof-nets
• Concurrent nets: a study of prefixing in process calculi
• Nets, Terms and Formulas
• Network Conscious π-calculus: A Concurrent Semantics
• CONCUR 2005 – Concurrency Theory
• On the implementation of concurrent calculi in net calculi: two case studies

This page was built for publication: Concurrent nets: a study of prefixing in process calculi

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