Open Bisimulation for the Concurrent Constraint Pi-Calculus (Q5458401): 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.1007/978-3-540-78739-6_20
+Normal rank
@@ Property / OpenAlex ID @@
+W1539807509
@@ Property / OpenAlex ID: W1539807509 / rank @@
+Normal rank
@@ Property / cites work @@
+Mobile values, new names, and secure communication
+Normal rank
@@ Property / cites work @@
+Semiring-based constraint satisfaction and optimization
+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 @@
+CC-Pi: A Constraint-Based Language for Specifying Service Level Agreements
+Normal rank
@@ Property / cites work @@
+Q2767080
@@ Property / cites work: Q2767080 / rank @@
+Normal rank
@@ Property / cites work @@
+Symbolic bisimulations
@@ Property / cites work: Symbolic bisimulations / 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 @@
+Q4475640
@@ Property / cites work: Q4475640 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4823419
@@ Property / cites work: Q4823419 / 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 @@
+Probabilistic concurrent constraint programming
@@ Property / cites work: Probabilistic concurrent constraint programming / rank @@
+Normal rank
@@ Property / cites work @@
+Foundations of Software Science and Computation Structures
+Normal rank
@@ Property / cites work @@
+Explicit fusions
@@ Property / cites work: Explicit fusions / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5458401