Fair ambients (Q877172): Difference between revisions

@@ Property / cites work @@
+The lambda calculus. Its syntax and semantics. Rev. ed.
+Normal rank
@@ Property / cites work @@
+Q4417858
@@ Property / cites work: Q4417858 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5714432
@@ Property / cites work: Q5714432 / rank @@
+Normal rank
@@ Property / cites work @@
+On the expressive power of movement and restriction in pure mobile ambients
+Normal rank
@@ Property / cites work @@
+Brane Calculi
@@ Property / cites work: Brane Calculi / rank @@
+Normal rank
@@ Property / cites work @@
+Mobile ambients
@@ Property / cites work: Mobile ambients / rank @@
+Normal rank
@@ Property / cites work @@
+Anytime, anywhere
@@ Property / cites work: Anytime, anywhere / rank @@
+Normal rank
@@ Property / cites work @@
+Variations on mobile processes
@@ Property / cites work: Variations on mobile processes / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulation congruence of \(\chi\)-calculus
@@ Property / cites work: Bisimulation congruence of \(\chi\)-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+On quasi-open bisimulation
@@ Property / cites work: On quasi-open bisimulation / rank @@
+Normal rank
@@ Property / cites work @@
+Tau laws for pi calculus
@@ Property / cites work: Tau laws for pi calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Typing evolving ambients
@@ Property / cites work: Typing evolving ambients / rank @@
+Normal rank
@@ Property / cites work @@
+Equational properties of mobile ambients
@@ Property / cites work: Equational properties of mobile ambients / rank @@
+Normal rank
@@ Property / cites work @@
+Controlling interference in ambients
@@ Property / cites work: Controlling interference in ambients / rank @@
+Normal rank
@@ Property / cites work @@
+On the computational strength of pure ambient calculi
+Normal rank
@@ Property / cites work @@
+Bisimulation congruences in safe ambients
@@ Property / cites work: Bisimulation congruences in safe ambients / rank @@
+Normal rank
@@ Property / cites work @@
+Q4449205
@@ Property / cites work: Q4449205 / 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. I
@@ Property / cites work: A calculus of mobile processes. I / rank @@
+Normal rank
@@ Property / cites work @@
+Welcome to the Jungle: A Subjective Guide to Mobile Process Calculi
+Normal rank
@@ Property / cites work @@
+Foundations of Software Science and Computation Structures
+Normal rank
@@ Property / cites work @@
+BioAmbients: an abstraction for biological compartments
+Normal rank
@@ Property / cites work @@
+The lazy lambda calculus in a concurrency scenario
+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 @@
+Bisimulation for higher-order process calculi
@@ Property / cites work: Bisimulation for higher-order process calculi / rank @@
+Normal rank
@@ Property / cites work @@
+Q4791841
@@ Property / cites work: Q4791841 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2734510
@@ Property / cites work: Q2734510 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4484494
@@ Property / cites work: Q4484494 / 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