Replacement freeness: a criterion for separating process calculi
From MaRDI portal
Publication:2210864
DOI10.1016/j.jlamp.2020.100579zbMath1462.68126OpenAlexW3040757360WikidataQ124302037 ScholiaQ124302037MaRDI QIDQ2210864
Francesco Tiezzi, Rosario Pugliese
Publication date: 9 November 2020
Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.jlamp.2020.100579
Related Items (1)
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Symbolic bisimulations
- Priorities in process algebras
- PiDuce- A project for experimenting web services technologies
- Theory of interaction
- XPi: a typed process calculus for XML messaging
- On the expressiveness of interaction
- Comparing communication primitives via their relative expressive power
- Higher-level synchronising devices in Meije-SCCS
- On the consistency of Koomen's fair abstraction rule
- A calculus of communicating systems
- A calculus of mobile processes. I
- On bisimulations for the asynchronous \(\pi\)-calculus
- CCS with priority choice
- Complete inference systems for weak bisimulation equivalences in the \(\pi\)-calculus.
- Mobile ambients
- What is a ``good encoding of guarded choice?
- Decoding choice encodings
- A theory of bisimulation for the \(\pi\)-calculus
- A symbolic semantics for the \(\pi\)-calculus
- Towards a unified approach to encodability and separation results for process calculi
- Tutorial on separation results in process calculi via leader election problems
- CCS with priority guards
- Symmetric electoral systems for ambient calculi
- Leader election in rings of ambient processes
- The Expressive Power of Monotonic Parallel Composition
- On the Relative Expressive Power of Calculi for Mobility
- Expressiveness of Process Algebras
- A Concurrent Pattern Calculus
- Is It a “Good” Encoding of Mixed Choice?
- On the Expressive Power of Restriction and Priorities in CCS with Replication
- An expressiveness study of priority in process calculi
- On the expressive power of recursion, replication and iteration in process calculi
- Functions as processes
- Pattern Matching over a Dynamic Network of Tuple Spaces
- Barbed bisimulation
- Foundations of Software Science and Computation Structures
- On the axiomatisability of priority
- Automata, Languages and Programming
- Full abstraction for expressiveness: history, myths and facts
- General conditions for full abstraction
- A Calculus for Orchestration of Web Services
- CC-Pi: A Constraint-Based Language for Specifying Service Level Agreements
- A Core Calculus for a Comparative Analysis of Bio-inspired Calculi
- Welcome to the Jungle: A Subjective Guide to Mobile Process Calculi
This page was built for publication: Replacement freeness: a criterion for separating process calculi
