A precongruence format for should testing preorder (Q974134): 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.1016/j.jlap.2010.03.001
+Normal rank
@@ Property / OpenAlex ID @@
+W2024848178
@@ Property / OpenAlex ID: W2024848178 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2760240
@@ Property / cites work: Q2760240 / rank @@
+Normal rank
@@ Property / cites work @@
+Process Algebra
@@ Property / cites work: Process Algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Structural operational semantics for weak bisimulations
+Normal rank
@@ Property / cites work @@
+Precongruence formats for decorated trace semantics
+Normal rank
@@ Property / cites work @@
+Bisimulation can't be traced
@@ Property / cites work: Bisimulation can't be traced / rank @@
+Normal rank
@@ Property / cites work @@
+Fair testing
@@ Property / cites work: Fair testing / 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 @@
+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 @@
+Transition system specifications with negative premises
+Normal rank
@@ Property / cites work @@
+Structured operational semantics and bisimulation as a congruence
+Normal rank
@@ Property / cites work @@
+Communicating sequential processes
@@ Property / cites work: Communicating sequential processes / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus of communicating systems
@@ Property / cites work: A calculus of communicating systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+SOS formats and meta-theory: 20 years after
@@ Property / cites work: SOS formats and meta-theory: 20 years after / rank @@
+Normal rank
@@ Property / cites work @@
+Testing equivalences for processes
@@ Property / cites work: Testing equivalences for processes / rank @@
+Normal rank
@@ Property / cites work @@
+Finite axiom systems for testing preorder and De Simone process languages
+Normal rank
@@ Property / cites work @@
+Ordered SOS process languages for branching and eager bisimulations
+Normal rank
@@ Property / cites work @@
+Process languages with discrete relative time based on the ordered SOS format and rooted eager bisimulation
+Normal rank
@@ Property / cites work @@
+Q2760238
@@ Property / cites work: Q2760238 / rank @@
+Normal rank
@@ Property / cites work @@
+Theoretical Aspects of Computing – ICTAC 2005
@@ Property / cites work: Theoretical Aspects of Computing – ICTAC 2005 / rank @@
+Normal rank
@@ Property / cites work @@
+Liveness, Fairness and Impossible Futures
@@ Property / cites work: Liveness, Fairness and Impossible Futures / rank @@
+Normal rank