On cool congruence formats for weak bisimulations (Q549196): Difference between revisions

@@ Property / cites work @@
+Turning SOS rules into equations
@@ Property / cites work: Turning SOS rules into equations / rank @@
+Normal rank
@@ Property / cites work @@
+Branching bisimilarity is an equivalence indeed!
@@ Property / cites work: Branching bisimilarity is an equivalence indeed! / rank @@
+Normal rank
@@ Property / cites work @@
+Q3742698
@@ Property / cites work: Q3742698 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebra of communicating processes with abstraction
+Normal rank
@@ Property / cites work @@
+Structural operational semantics for weak bisimulations
+Normal rank
@@ Property / cites work @@
+Bisimulation can't be traced
@@ Property / cites work: Bisimulation can't be traced / rank @@
+Normal rank
@@ Property / cites work @@
+A Theory of Communicating Sequential Processes
@@ Property / cites work: A Theory of Communicating Sequential Processes / rank @@
+Normal rank
@@ Property / cites work @@
+Rooted branching bisimulation as a congruence
@@ Property / cites work: Rooted branching bisimulation as a congruence / rank @@
+Normal rank
@@ Property / cites work @@
+Divide and Congruence: From Decomposition of Modalities to Preservation of Branching Bisimulation
+Normal rank
@@ Property / cites work @@
+Q2852097
@@ Property / cites work: Q2852097 / rank @@
+Normal rank
@@ Property / cites work @@
+Processes, Terms and Cycles: Steps on the Road to Infinity
+Normal rank
@@ Property / cites work @@
+Branching time and abstraction in bisimulation semantics
+Normal rank
@@ Property / cites work @@
+Q4385545
@@ Property / cites work: Q4385545 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3999206
@@ Property / cites work: Q3999206 / rank @@
+Normal rank
@@ Property / cites work @@
+Specification-oriented semantics for communicating processes
+Normal rank
@@ Property / cites work @@
+A structural approach to operational semantics
@@ Property / cites work: A structural approach to operational semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Higher-level synchronising devices in Meije-SCCS
@@ Property / cites work: Higher-level synchronising devices in Meije-SCCS / rank @@
+Normal rank
@@ Property / cites work @@
+Ordered SOS process languages for branching and eager bisimulations
+Normal rank
@@ Property / cites work @@
+Q4536608
@@ Property / cites work: Q4536608 / rank @@
+Normal rank