Process-Local Static Analysis of Synchronous Processes
No abstract available.
Related papers
- Limitations of Synchronous Communication with Static Process Structure in Languages for Distributed Computing POPL 1986
- Message analysis-guided allocation and low-pause incremental garbage collection in a concurrent language ISMM 2004
- Static Analysis of Multithreaded Recursive Programs Communicating via Rendez-Vous APLAS 2017
- Efficient Fault-Tolerant Algorithms for Distributed Resource Allocation TOPLAS 1995
- Communicating Reactive Processes POPL 1993
- Deferred methods: accelerating dynamic program analysis on multicores CGO 2012
- Set-based pre-processing for points-to analysis OOPSLA 2013
- Maple: a Programming Language, Operating System POPL 1982