Replacement freeness: a criterion for separating process calculi (Q2210864): Difference between revisions

@@ Property / DOI @@
-.1016/j.jlamp.2020.100579
@@ Property / DOI: 10.1016/j.jlamp.2020.100579 / rank @@
-Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.jlamp.2020.100579
+Normal rank
@@ Property / OpenAlex ID @@
+W3040757360
@@ Property / OpenAlex ID: W3040757360 / rank @@
+Normal rank
@@ Property / cites work @@
+Welcome to the Jungle: A Subjective Guide to Mobile Process Calculi
+Normal rank
@@ Property / cites work @@
+Comparing communication primitives via their relative expressive power
+Normal rank
@@ Property / cites work @@
+Q2760249
@@ Property / cites work: Q2760249 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4457838
@@ Property / cites work: Q4457838 / rank @@
+Normal rank
@@ Property / cites work @@
+Towards a unified approach to encodability and separation results for process calculi
+Normal rank
@@ Property / cites work @@
+CCS with priority guards
@@ Property / cites work: CCS with priority guards / rank @@
+Normal rank
@@ Property / cites work @@
+On the Expressive Power of Restriction and Priorities in CCS with Replication
+Normal rank
@@ Property / cites work @@
+An expressiveness study of priority in process calculi
+Normal rank
@@ Property / cites work @@
+On the expressiveness of interaction
@@ Property / cites work: On the expressiveness of interaction / rank @@
+Normal rank
@@ Property / cites work @@
+Q4986261
@@ Property / cites work: Q4986261 / rank @@
+Normal rank
@@ Property / cites work @@
+A Concurrent Pattern Calculus
@@ Property / cites work: A Concurrent Pattern Calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Leader election in rings of ambient processes
@@ Property / cites work: Leader election in rings of ambient processes / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4248252
@@ Property / cites work: Q4248252 / rank @@
+Normal rank
@@ Property / cites work @@
+Functions as processes
@@ Property / cites work: Functions as processes / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus of mobile processes. I
@@ Property / cites work: A calculus of mobile processes. I / rank @@
+Normal rank
@@ Property / cites work @@
+Q2734510
@@ Property / cites work: Q2734510 / rank @@
+Normal rank
@@ Property / cites work @@
+On the axiomatisability of priority
@@ Property / cites work: On the axiomatisability of priority / rank @@
+Normal rank
@@ Property / cites work @@
+A Calculus for Orchestration of Web Services
@@ Property / cites work: A Calculus for Orchestration of Web Services / rank @@
+Normal rank
@@ Property / cites work @@
+Q4995152
@@ Property / cites work: Q4995152 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4963996
@@ Property / cites work: Q4963996 / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus of communicating systems
@@ Property / cites work: A calculus of communicating systems / rank @@
+Normal rank
@@ Property / cites work @@
+Symbolic bisimulations
@@ Property / cites work: Symbolic bisimulations / rank @@
+Normal rank
@@ Property / cites work @@
+Q2760244
@@ Property / cites work: Q2760244 / rank @@
+Normal rank
@@ Property / cites work @@
+A symbolic semantics for the \(\pi\)-calculus
@@ Property / cites work: A symbolic semantics for the \(\pi\)-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+A theory of bisimulation for the \(\pi\)-calculus
@@ Property / cites work: A theory of bisimulation for the \(\pi\)-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Complete inference systems for weak bisimulation equivalences in the \(\pi\)-calculus.
+Normal rank
@@ Property / cites work @@
+Foundations of Software Science and Computation Structures
+Normal rank
@@ Property / cites work @@
+Barbed bisimulation
@@ Property / cites work: Barbed bisimulation / rank @@
+Normal rank
@@ Property / cites work @@
+Pattern Matching over a Dynamic Network of Tuple Spaces
+Normal rank
@@ Property / cites work @@
+CC-Pi: A Constraint-Based Language for Specifying Service Level Agreements
+Normal rank
@@ Property / cites work @@
+XPi: a typed process calculus for XML messaging
@@ Property / cites work: XPi: a typed process calculus for XML messaging / rank @@
+Normal rank
@@ Property / cites work @@
+PiDuce- A project for experimenting web services technologies
+Normal rank
@@ Property / cites work @@
+CCS with priority choice
@@ Property / cites work: CCS with priority choice / rank @@
+Normal rank
@@ Property / cites work @@
+Q4727412
@@ Property / cites work: Q4727412 / rank @@
+Normal rank
@@ Property / cites work @@
+Priorities in process algebras
@@ Property / cites work: Priorities in process algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Q4995150
@@ Property / cites work: Q4995150 / rank @@
+Normal rank
@@ Property / cites work @@
+Expressiveness of Process Algebras
@@ Property / cites work: Expressiveness of Process Algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Higher-level synchronising devices in Meije-SCCS
@@ Property / cites work: Higher-level synchronising devices in Meije-SCCS / rank @@
+Normal rank
@@ Property / cites work @@
+On the consistency of Koomen's fair abstraction rule
+Normal rank
@@ Property / cites work @@
+Q4222913
@@ Property / cites work: Q4222913 / rank @@
+Normal rank
@@ Property / cites work @@
+On the expressive power of recursion, replication and iteration in process calculi
+Normal rank
@@ Property / cites work @@
+Mobile ambients
@@ Property / cites work: Mobile ambients / rank @@
+Normal rank
@@ Property / cites work @@
+Q4934334
@@ Property / cites work: Q4934334 / rank @@
+Normal rank
@@ Property / cites work @@
+Tutorial on separation results in process calculi via leader election problems
+Normal rank
@@ Property / cites work @@
+Symmetric electoral systems for ambient calculi
@@ Property / cites work: Symmetric electoral systems for ambient calculi / rank @@
+Normal rank
@@ Property / cites work @@
+The Expressive Power of Monotonic Parallel Composition
+Normal rank
@@ Property / cites work @@
+Q5013871
@@ Property / cites work: Q5013871 / rank @@
+Normal rank
@@ Property / cites work @@
+Theory of interaction
@@ Property / cites work: Theory of interaction / rank @@
+Normal rank
@@ Property / cites work @@
+A Core Calculus for a Comparative Analysis of Bio-inspired Calculi
+Normal rank
@@ Property / cites work @@
+General conditions for full abstraction
@@ Property / cites work: General conditions for full abstraction / rank @@
+Normal rank
@@ Property / cites work @@
+Decoding choice encodings
@@ Property / cites work: Decoding choice encodings / rank @@
+Normal rank
@@ Property / cites work @@
+Full abstraction for expressiveness: history, myths and facts
+Normal rank
@@ Property / cites work @@
+What is a ``good'' encoding of guarded choice?
@@ Property / cites work: What is a ``good'' encoding of guarded choice? / rank @@
+Normal rank
@@ Property / cites work @@
+Automata, Languages and Programming
@@ Property / cites work: Automata, Languages and Programming / rank @@
+Normal rank
@@ Property / cites work @@
+On bisimulations for the asynchronous \(\pi\)-calculus
+Normal rank
@@ Property / cites work @@
+Is It a “Good” Encoding of Mixed Choice?
@@ Property / cites work: Is It a “Good” Encoding of Mixed Choice? / rank @@
+Normal rank
@@ Property / cites work @@
+On the Relative Expressive Power of Calculi for Mobility
+Normal rank
@@ Property / DOI @@
+.1016/J.JLAMP.2020.100579
@@ Property / DOI: 10.1016/J.JLAMP.2020.100579 / rank @@
+Normal rank