Coalgebraic Symbolic Semantics (Q2888486): Difference between revisions

@@ Property / cites work @@
+Universal coalgebra: A theory of systems
@@ Property / cites work: Universal coalgebra: A theory of systems / rank @@
+Normal rank
@@ Property / cites work @@
+CCS expressions, finite state processes, and three problems of equivalence
+Normal rank
@@ Property / cites work @@
+Q4248252
@@ Property / cites work: Q4248252 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4018066
@@ Property / cites work: Q4018066 / 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 @@
+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 @@
+On bisimulations for the asynchronous \(\pi\)-calculus
+Normal rank
@@ Property / cites work @@
+Mobile ambients
@@ Property / cites work: Mobile ambients / rank @@
+Normal rank
@@ Property / cites work @@
+Q4449205
@@ Property / cites work: Q4449205 / rank @@
+Normal rank
@@ Property / cites work @@
+Symbolic bisimulations
@@ Property / cites work: Symbolic bisimulations / rank @@
+Normal rank
@@ Property / cites work @@
+Symbolic Semantics Revisited
@@ Property / cites work: Symbolic Semantics Revisited / rank @@
+Normal rank
@@ Property / cites work @@
+Q4222948
@@ Property / cites work: Q4222948 / rank @@
+Normal rank
@@ Property / cites work @@
+Minimization Algorithm for Symbolic Bisimilarity
@@ Property / cites work: Minimization Algorithm for Symbolic Bisimilarity / rank @@
+Normal rank
@@ Property / cites work @@
+Explicit fusions
@@ Property / cites work: Explicit fusions / rank @@
+Normal rank
@@ Property / cites work @@
+CC-Pi: A Constraint-Based Language for Specifying Service Level Agreements
+Normal rank
@@ Property / cites work @@
+Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets
+Normal rank
@@ Property / cites work @@
+A coalgebraic presentation of structured transition systems
+Normal rank
@@ Property / cites work @@
+Q4934317
@@ Property / cites work: Q4934317 / rank @@
+Normal rank
@@ Property / cites work @@
+Coalgebraic Models for Reactive Systems
@@ Property / cites work: Coalgebraic Models for Reactive Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4536606
@@ Property / cites work: Q4536606 / rank @@
+Normal rank
@@ Property / cites work @@
+A coalgebraic approach to the semantics of the ambient calculus
+Normal rank
@@ Property / cites work @@
+Reactive Systems, Barbed Semantics, and the Mobile Ambients
+Normal rank
@@ Property / cites work @@
+A partition refinement algorithm for the \(\pi\)-calculus
+Normal rank