Concurrent nets: a study of prefixing in process calculi

MaRDI QIDQ2848136zbMATH OpenFDO

Authors Emmanuel Beffara, François Maurel

Publication date 25 September 2013

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

Mathematics Subject Classification ID

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

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

Cited in

(6)

• An exact correspondence between a typed pi-calculus and polarised proof-nets
• Concurrent nets: a study of prefixing in process calculi
• Network Conscious π-calculus: A Concurrent Semantics
• Nets, Terms and Formulas
• 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)