Timed $$\pi $$-Calculus
From MaRDI portal
Publication:2830030
DOI10.1007/978-3-319-05119-2_8zbMath1348.68169OpenAlexW1216450975MaRDI QIDQ2830030
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
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
This page was built for publication: Timed $$\pi $$-Calculus