Timed $$\pi $$-Calculus

DOI10.1007/978-3-319-05119-2_8zbMath1348.68169OpenAlexW1216450975MaRDI QIDQ2830030

Neda Saeedloei, Gopal Gupta

Publication date: 9 November 2016

Published in: Trustworthy Global Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-05119-2_8

Mathematics Subject Classification ID

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

Related Items (6)

A proof theoretic view of spatial and temporal dependencies in biochemical systems ⋮ A Logical Encoding of Timed $$\pi $$-Calculus ⋮ Timed runtime monitoring for multiparty conversations ⋮ Unnamed Item ⋮ Employing Costs in Multiagent Systems with Timed Migration and Timed Communication ⋮ Verification of spatial and temporal modalities in biochemical systems

Cites Work

• A calculus of mobile processes. I
• A theory of timed automata
• Foundations of Software Science and Computational Structures
• Unnamed Item
• Unnamed Item

This page was built for publication: Timed $$\pi $$-Calculus