scientific article

zbMath1483.68235MaRDI QIDQ3384918

Uwe Nestmann, Kirstin Peters

Publication date: 17 December 2021

Full work available at URL: http://eptcs.web.cse.unsw.edu.au/paper.cgi?EXPRESSSOS2018.9

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

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

Related Items (2)

Unnamed Item ⋮ Distributability of mobile ambients

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Mathematical foundations of computer science 2008. 33rd international symposium, MFCS 2008, Toruń Poland, August 25--29, 2008. Proceedings
• A calculus of mobile processes. II
• ECOOP '91, European conference on object-oriented programming. Geneva, Switzerland, July 15-19, 1991. Proceedings
• Mobile ambients
• A structural approach to operational semantics
• Towards a unified approach to encodability and separation results for process calculi
• On Distributability of Petri Nets
• A Distributed Pi-Calculus
• Petri Net Distributability
• Barbed bisimulation
• On Distributability in Process Calculi

This page was built for publication: