CCS with Replication in the Chomsky Hierarchy: The Expressive Power of Divergence
Abstract elided by the publisher.
Related papers
- Comparing the expressiveness of the π-calculus and CCS ESOP 2022
- Lock cohorting: a general technique for designing NUMA locks PPoPP 2012
- Complete trace models of state and control ESOP 2021
- Parsing expression grammars: a recognition-based syntactic foundation POPL 2004
- Comparing the Expressive Power of the Synchronous and the Asynchronous pi-calculus POPL 1997
- Frashokereti: Non-aborting Optimistically Replicated Objects OOPSLA 2026
- Reasoning on divergent computations with coaxioms OOPSLA 2017
- An Alternative to Subclassing OOPSLA 1986