Broadcast Calculus Interpreted in CCS upto Bisimulation
From MaRDI portal
Publication:4917085
DOI10.1016/S1571-0661(04)00218-XzbMath1260.68276OpenAlexW2003987520MaRDI QIDQ4917085
Publication date: 26 April 2013
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/s1571-0661(04)00218-x
Related Items (max. 100)
Tutorial on separation results in process calculi via leader election problems ⋮ The Expressive Power of Monotonic Parallel Composition ⋮ Bisimulations for a calculus of broadcasting systems ⋮ Linearity, Persistence and Testing Semantics in the Asynchronous Pi-Calculus ⋮ A Prospectus for Mobile Broadcasting Systems
Cites Work
This page was built for publication: Broadcast Calculus Interpreted in CCS upto Bisimulation