Interaction in Time and Space

DOI10.1016/J.ENTCS.2008.04.083zbMath1277.68172OpenAlexW2033941876WikidataQ57937008 ScholiaQ57937008MaRDI QIDQ2864506

Gabriel Ciobanu

Publication date: 6 December 2013

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2008.04.083

zbMATH Keywords

interactiontimed distributed \(\pi\)-calculustimed mobile ambients

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (1)

Virtually timed ambients: a calculus of nested virtualization

Cites Work

• Mobile ambients
• Resource access control in systems of mobile agents
• Timers and Proximities for Mobile Ambients
• Mobile Ambients with Timers and Types
• Unnamed Item
• Unnamed Item

This page was built for publication: Interaction in Time and Space