A taxonomy of process calculi for distribution and mobility (Q660996): Difference between revisions

@@ Property / DOI @@
-.1007/s00446-010-0120-6
@@ Property / DOI: 10.1007/s00446-010-0120-6 / rank @@
-Normal rank
@@ Property / describes a project that uses @@
+Pict
@@ Property / describes a project that uses: Pict / rank @@
+Normal rank
@@ 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.1007/s00446-010-0120-6
+Normal rank
@@ Property / OpenAlex ID @@
+W2019329654
@@ Property / OpenAlex ID: W2019329654 / rank @@
+Normal rank
@@ Property / cites work @@
+On modelling mobility
@@ Property / cites work: On modelling mobility / rank @@
+Normal rank
@@ Property / cites work @@
+Automata, Languages and Programming
@@ Property / cites work: Automata, Languages and Programming / rank @@
+Normal rank
@@ Property / cites work @@
+On an open problem of Amadio and Curien: The finite antichain condition
+Normal rank
@@ Property / cites work @@
+Secure implementations of typed channel abstractions
+Normal rank
@@ Property / cites work @@
+On the expressive power of movement and restriction in pure mobile ambients
+Normal rank
@@ Property / cites work @@
+Q4457838
@@ Property / cites work: Q4457838 / rank @@
+Normal rank
@@ Property / cites work @@
+Mobile ambients
@@ Property / cites work: Mobile ambients / rank @@
+Normal rank
@@ Property / cites work @@
+Q4532085
@@ Property / cites work: Q4532085 / rank @@
+Normal rank
@@ Property / cites work @@
+On the expressive power of \textsc{Klaim}-based calculi
+Normal rank
@@ Property / cites work @@
+Testing equivalences for processes
@@ Property / cites work: Testing equivalences for processes / rank @@
+Normal rank
@@ Property / cites work @@
+Q4536436
@@ Property / cites work: Q4536436 / rank @@
+Normal rank
@@ Property / cites work @@
+Safe ambients: Abstract machine and distributed implementation
+Normal rank
@@ Property / cites work @@
+Comparing communication primitives via their relative expressive power
+Normal rank
@@ Property / cites work @@
+On the Relative Expressive Power of Calculi for Mobility
+Normal rank
@@ Property / cites work @@
+Towards a unified approach to encodability and separation results for process calculi
+Normal rank
@@ Property / cites work @@
+A Distributed Pi-Calculus
@@ Property / cites work: A Distributed Pi-Calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Towards a behavioural theory of access and mobility control in distributed systems
+Normal rank
@@ Property / cites work @@
+Resource access control in systems of mobile agents
+Normal rank
@@ Property / cites work @@
+A generic type system for the Pi-calculus
@@ Property / cites work: A generic type system for the Pi-calculus / 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 @@
+On the computational strength of pure ambient calculi
+Normal rank
@@ Property / cites work @@
+Q4484495
@@ Property / cites work: Q4484495 / 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 @@
+Decoding choice encodings
@@ Property / cites work: Decoding choice encodings / 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 @@
+Expressiveness of Process Algebras
@@ Property / cites work: Expressiveness of Process Algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Programming Languages and Systems
@@ Property / cites work: Programming Languages and Systems / 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 @@
+Q3837262
@@ Property / cites work: Q3837262 / rank @@
+Normal rank
@@ Property / cites work @@
+Semantic Barbs and Biorthogonality
@@ Property / cites work: Semantic Barbs and Biorthogonality / rank @@
+Normal rank
@@ Property / cites work @@
+Q2734510
@@ Property / cites work: Q2734510 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4219047
@@ Property / cites work: Q4219047 / rank @@
+Normal rank
@@ Property / cites work @@
+On the Expressiveness of Pure Mobile Ambients
@@ Property / cites work: On the Expressiveness of Pure Mobile Ambients / rank @@
+Normal rank
@@ Property / DOI @@
+.1007/S00446-010-0120-6
@@ Property / DOI: 10.1007/S00446-010-0120-6 / rank @@
+Normal rank