Towards a unified approach to encodability and separation results for process calculi (Q1959439): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.ic.2010.05.002
+Normal rank
@@ Property / OpenAlex ID @@
+W2060992753
@@ Property / OpenAlex ID: W2060992753 / rank @@
+Normal rank
@@ Property / cites work @@
+On bisimulations for the asynchronous \(\pi\)-calculus
+Normal rank
@@ Property / cites work @@
+An efficiency preorder for processes
@@ Property / cites work: An efficiency preorder for processes / rank @@
+Normal rank
@@ Property / cites work @@
+Automata, Languages and Programming
@@ Property / cites work: Automata, Languages and Programming / rank @@
+Normal rank
@@ Property / cites work @@
+On the expressiveness of internal mobility in name-passing calculi
+Normal rank
@@ Property / cites work @@
+Secure implementations of typed channel abstractions
+Normal rank
@@ Property / cites work @@
+Q4449170
@@ Property / cites work: Q4449170 / rank @@
+Normal rank
@@ Property / cites work @@
+Automata, Languages and Programming
@@ Property / cites work: Automata, Languages and Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Linearity, Persistence and Testing Semantics in the Asynchronous Pi-Calculus
+Normal rank
@@ Property / cites work @@
+Separation of synchronous and asynchronous communication via testing
+Normal rank
@@ Property / cites work @@
+Q4457838
@@ Property / cites work: Q4457838 / rank @@
+Normal rank
@@ Property / cites work @@
+Types for the ambient calculus
@@ Property / cites work: Types for the ambient calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Mobile ambients
@@ Property / cites work: Mobile ambients / rank @@
+Normal rank
@@ Property / cites work @@
+Embedding as a tool for language comparison
@@ Property / cites work: Embedding as a tool for language comparison / rank @@
+Normal rank
@@ Property / cites work @@
+Testing equivalences for processes
@@ Property / cites work: Testing equivalences for processes / rank @@
+Normal rank
@@ Property / cites work @@
+Foundations of Software Science and Computation Structures
+Normal rank
@@ Property / cites work @@
+On the Relative Expressive Power of Calculi for Mobility
+Normal rank
@@ Property / cites work @@
+Synchrony vs Asynchrony in Communication Primitives
+Normal rank
@@ Property / cites work @@
+Comparing communication primitives via their relative expressive power
+Normal rank
@@ Property / cites work @@
+Towards a Unified Approach to Encodability and Separation Results for Process Calculi
+Normal rank
@@ Property / cites work @@
+Matching Systems for Concurrent Calculi
@@ Property / cites work: Matching Systems for Concurrent Calculi / rank @@
+Normal rank
@@ Property / cites work @@
+Resource access control in systems of mobile agents
+Normal rank
@@ Property / cites work @@
+On reduction-based process semantics
@@ Property / cites work: On reduction-based process semantics / rank @@
+Normal rank
@@ Property / cites work @@
+A typed encoding of boxed into safe ambients
@@ Property / cites work: A typed encoding of boxed into safe ambients / rank @@
+Normal rank
@@ Property / cites work @@
+Behavioral theory for mobile ambients
@@ Property / cites work: Behavioral theory for mobile ambients / rank @@
+Normal rank
@@ Property / cites work @@
+Q4219055
@@ Property / cites work: Q4219055 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / 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. II
@@ Property / cites work: A calculus of mobile processes. II / rank @@
+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 @@
+Welcome to the Jungle: A Subjective Guide to Mobile Process Calculi
+Normal rank
@@ Property / cites work @@
+Decoding choice encodings
@@ Property / cites work: Decoding choice encodings / rank @@
+Normal rank
@@ Property / cites work @@
+Q3396569
@@ Property / cites work: Q3396569 / rank @@
+Normal rank
@@ Property / cites work @@
+Expressiveness of Process Algebras
@@ Property / cites work: Expressiveness of Process Algebras / rank @@
+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 @@
+Leader election in rings of ambient processes
@@ Property / cites work: Leader election in rings of ambient processes / rank @@
+Normal rank
@@ Property / cites work @@
+A structural approach to operational semantics
@@ Property / cites work: A structural approach to operational semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Q4508309
@@ Property / cites work: Q4508309 / rank @@
+Normal rank
@@ Property / cites work @@
+Types and full abstraction for polyadic \(\pi\)-calculus
+Normal rank
@@ Property / cites work @@
+Semantic Barbs and Biorthogonality
@@ Property / cites work: Semantic Barbs and Biorthogonality / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulation for higher-order process calculi
@@ Property / cites work: Bisimulation for higher-order process calculi / rank @@
+Normal rank
@@ Property / cites work @@
+Q2734510
@@ Property / cites work: Q2734510 / rank @@
+Normal rank