A Theory of Communicating Sequential Processes
Journal of the ACM (JACM)
Communication and concurrency
Decidability of bisimulation equivalence for process generating context-free languages
Journal of the ACM (JACM)
On decidability of the control reachability problem in the asynchronous π-calculus
Nordic Journal of Computing
Proceedings of the LITP Spring School on Theoretical Computer Science: Semantics of Systems of Concurrent Processes
Petri Nets and the Equivalence Problem
CSL '93 Selected Papers from the 7th Workshop on Computer Science Logic
Computation: finite and infinite machines
Computation: finite and infinite machines
Termination Problems in Chemical Kinetics
CONCUR '08 Proceedings of the 19th international conference on Concurrency Theory
Replication vs. recursive definitions in channel based calculi
ICALP'03 Proceedings of the 30th international conference on Automata, languages and programming
CCS with replication in the Chomsky hierarchy: the expressive power of divergence
APLAS'07 Proceedings of the 5th Asian conference on Programming languages and systems
On the expressive power of global and local priority in process calculi
CONCUR'07 Proceedings of the 18th international conference on Concurrency Theory
Deciding Safety Properties in Infinite-State Pi-Calculus via Behavioural Types
ICALP '09 Proceedings of the 36th Internatilonal Collogquium on Automata, Languages and Programming: Part II
Encoding Asynchronous Interactions Using Open Petri Nets
CONCUR 2009 Proceedings of the 20th International Conference on Concurrency Theory
Revisiting glue expressiveness in component-based systems
COORDINATION'11 Proceedings of the 13th international conference on Coordination models and languages
The decidability of the reachability problem for CCS!
CONCUR'11 Proceedings of the 22nd international conference on Concurrency theory
Deciding safety properties in infinite-state pi-calculus via behavioural types
Information and Computation
Decidability of behavioral equivalences in process calculi with name scoping
FSEN'11 Proceedings of the 4th IPM international conference on Fundamentals of Software Engineering
Hi-index | 0.00 |
We study the expressive power of restriction and its interplay with replication. We do this by considering several syntactic variants of CCS! (CCS with replication instead of recursion) which differ from each other in the use of restriction with respect to replication. We consider three syntactic variations of CCS! which do not allow the use of an unbounded number of restrictions: CCS$_{!}^{-!\nu}$ is the fragment of CCS! not allowing restrictions under the scope of a replication. CCS$_{!}^{-\nu}$ is the restriction-free fragment of CCS! . The third variant is CCS$_{!+pr}^{-!\nu}$ which extends CCS$_{!}^{-!\nu}$ with Phillips' priority guards. We show that the use of unboundedly many restrictions in CCS! is necessary for obtaining Turing expressiveness in the sense of Busi et al [8]. We do this by showing that there is no encoding of RAMs into CCS$_{!}^{-!\nu}$ which preserves and reflects convergence. We also prove that up to failures equivalence, there is no encoding from CCS! into CCS$_{!}^{-!\nu}$ nor from CCS$_{!}^{-!\nu}$ into CCS$_{!}^{-\nu}.$ As lemmata for the above results we prove that convergence is decidable for CCS$_{!}^{-!\nu}$ and that language equivalence is decidable for CCS$_{!}^{-\nu}$. As corollary it follows that convergence is decidable for restriction-free CCS. Finally, we show the expressive power of priorities by providing an encoding of RAMs in CCS$_{!+pr}^{-!\nu}$.