Weak Bisimilarity Coalgebraically (Q2888485): Difference between revisions

@@ Property / cites work @@
+A domain equation for bisimulation
@@ Property / cites work: A domain equation for bisimulation / rank @@
+Normal rank
@@ Property / cites work @@
+Automata, Languages and Programming
@@ Property / cites work: Automata, Languages and Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Structural operational semantics for weak bisimulations
+Normal rank
@@ Property / cites work @@
+Mathematical Foundations of Computer Science 2003
@@ Property / cites work: Mathematical Foundations of Computer Science 2003 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4484504
@@ Property / cites work: Q4484504 / rank @@
+Normal rank
@@ Property / cites work @@
+Models for name-passing processes: Interleaving and causal
+Normal rank
@@ Property / cites work @@
+A fully abstract model for the \(\pi\)-calculus.
@@ Property / cites work: A fully abstract model for the \(\pi\)-calculus. / rank @@
+Normal rank
@@ Property / cites work @@
+A fully abstract denotational semantics for the \(\pi\)-calculus
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / 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 @@
+Observing behaviour categorically
@@ Property / cites work: Observing behaviour categorically / rank @@
+Normal rank
@@ Property / cites work @@
+Processes as terms: non-well-founded models for bisimulation
+Normal rank
@@ Property / cites work @@
+Universal coalgebra: A theory of systems
@@ Property / cites work: Universal coalgebra: A theory of systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q2734510
@@ Property / cites work: Q2734510 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2849887
@@ Property / cites work: Q2849887 / rank @@
+Normal rank
@@ Property / cites work @@
+Theoretical Aspects of Computing – ICTAC 2005
@@ Property / cites work: Theoretical Aspects of Computing – ICTAC 2005 / rank @@
+Normal rank