A fully abstract model for the \(\pi\)-calculus. (Q1400720): Difference between revisions

@@ Property / author @@
+Marcelo P. Fiore
@@ Property / author: Marcelo P. Fiore / rank @@
+Normal rank
@@ Property / author @@
+Eugenio Moggi
@@ Property / author: Eugenio Moggi / rank @@
+Normal rank
@@ Property / author @@
+Davide Sangiorgi
@@ Property / author: Davide Sangiorgi / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+LOTOS
@@ Property / describes a project that uses: LOTOS / 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.1006/inco.2002.2968
+Normal rank
@@ Property / OpenAlex ID @@
+W3177659913
@@ Property / OpenAlex ID: W3177659913 / rank @@
+Normal rank
@@ Property / cites work @@
+A domain equation for bisimulation
@@ Property / cites work: A domain equation for bisimulation / rank @@
+Normal rank
@@ Property / cites work @@
+Q4490717
@@ Property / cites work: Q4490717 / rank @@
+Normal rank
@@ Property / cites work @@
+CPO models for compact GSOS languages
@@ Property / cites work: CPO models for compact GSOS languages / rank @@
+Normal rank
@@ Property / cites work @@
+A representable approach to finite nondeterminism
@@ Property / cites work: A representable approach to finite nondeterminism / rank @@
+Normal rank
@@ Property / cites work @@
+Process Algebra
@@ Property / cites work: Process Algebra / 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 @@
+Q4362963
@@ Property / cites work: Q4362963 / rank @@
+Normal rank
@@ Property / cites work @@
+Axiomatic Domain Theory in Categories of Partial Maps
+Normal rank
@@ Property / cites work @@
+A term model for synchronous processes
@@ Property / cites work: A term model for synchronous processes / rank @@
+Normal rank
@@ Property / cites work @@
+A fully abstract denotational model for higher-order processes
+Normal rank
@@ Property / cites work @@
+A fully abstract denotational semantics for the \(\pi\)-calculus
+Normal rank
@@ Property / cites work @@
+Q3907039
@@ Property / cites work: Q3907039 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3938462
@@ Property / cites work: Q3938462 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3727946
@@ Property / cites work: Q3727946 / 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 @@
+Notions of computation and monads
@@ Property / cites work: Notions of computation and monads / rank @@
+Normal rank
@@ Property / cites work @@
+Q3719794
@@ Property / cites work: Q3719794 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic theories for name-passing calculi
@@ Property / cites work: Algebraic theories for name-passing calculi / rank @@
+Normal rank
@@ Property / cites work @@
+Processes as terms: non-well-founded models for bisimulation
+Normal rank
@@ Property / cites work @@
+On the bisimulation proof method
@@ Property / cites work: On the bisimulation proof method / 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 @@
+\(\pi\)-calculus, internal mobility, and agent-passing calculi
+Normal rank
@@ Property / cites work @@
+Q2734510
@@ Property / cites work: Q2734510 / rank @@
+Normal rank
@@ Property / cites work @@
+The Category-Theoretic Solution of Recursive Domain Equations
+Normal rank