Automatic Determination of Communication Topologies in Mobile Systems
No abstract available.
Related papers
- HpC: A Calculus for Hybrid and Mobile Systems OOPSLA 2025
- On Hierarchical Communication Topologies in the \pi -calculus ESOP 2016
- Parameterized Verification of Synchronization in Constrained Reconfigurable Broadcast Networks TACAS 2018
- Complete Local Reasoning About Parameterized Programs Over Topologies CAV 2026
- Abstract Interpretation-Based Static Analysis of Mobile Ambients SAS 2001
- A capability calculus for concurrency and determinism TOPLAS 2008
- Higher-Order Concurrent Programs with Finite Communication Topology POPL 1994
- Access control for mobile agents: The calculus of boxed ambients TOPLAS 2004