Pages that link to "Item:Q1276256"
From MaRDI portal
The following pages link to Bisimulations for a calculus of broadcasting systems (Q1276256):
Displaying 13 items.
- The SL synchronous language, revisited (Q864504) (← links)
- An observational theory for mobile ad hoc networks (full version) (Q1012124) (← links)
- Bisimulations for a calculus of broadcasting systems (Q1276256) (← links)
- A coordination protocol language for power grid operation control (Q2011215) (← links)
- SMT-based generation of symbolic automata (Q2182674) (← links)
- A synchronous \(\pi\)-calculus (Q2381508) (← links)
- Compositional equivalences based on open pNets (Q2683032) (← links)
- Characterising Testing Preorders for Broadcasting Distributed Systems (Q2811926) (← links)
- A Theory for the Composition of Concurrent Processes (Q2827466) (← links)
- Broadcast Calculus Interpreted in CCS upto Bisimulation (Q4917085) (← links)
- An Observational Theory for Mobile Ad Hoc Networks (Q5262943) (← links)
- A Prospectus for Mobile Broadcasting Systems (Q5262975) (← links)
- Tree Process Calculus (Q5415625) (← links)