Pages that link to "Item:Q4917085"
From MaRDI portal
The following pages link to Broadcast Calculus Interpreted in CCS upto Bisimulation (Q4917085):
Displayed 5 items.
- Bisimulations for a calculus of broadcasting systems (Q1276256) (← links)
- Tutorial on separation results in process calculi via leader election problems (Q2464946) (← links)
- The Expressive Power of Monotonic Parallel Composition (Q2802500) (← links)
- Linearity, Persistence and Testing Semantics in the Asynchronous Pi-Calculus (Q2864372) (← links)
- A Prospectus for Mobile Broadcasting Systems (Q5262975) (← links)