Interaction in time and space

DOI10.1016/J.ENTCS.2008.04.083MaRDI QIDQ2864506zbMATH OpenOpenAlexDBLPWikidataFDO

Authors 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)

Recommendations

• Mobile Ambients with Timers and Types
• Timed extensions of calculus
• Timers and Proximities for Mobile Ambients
• Timed -calculus
• Timed mobility in process algebra and Petri nets

Cites work

• scientific article; zbMATH DE number 1296290 (Why is no real title available?)
• scientific article; zbMATH DE number 1927569 (Why is no real title available?)
• Mobile ambients
• Mobile Ambients with Timers and Types
• Resource access control in systems of mobile agents
• Timers and Proximities for Mobile Ambients

Cited in

(4)

• Virtually timed ambients: a calculus of nested virtualization
• Asynchronous distributed execution of fixpoint-based computational fields
• scientific article; zbMATH DE number 3848476 (Why is no real title available?)
• Modeling and reasoning of time-dependent concurrent mobile systems based on an extended \(\pi\)-calculus

This page was built for publication: Interaction in time and space

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