A syntactic commutativity format for SOS (Q835035): Difference between revisions

@@ Property / cites work @@
+A structural approach to operational semantics
@@ Property / cites work: A structural approach to operational semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Q2760240
@@ Property / cites work: Q2760240 / rank @@
+Normal rank
@@ Property / cites work @@
+Turning SOS rules into equations
@@ Property / cites work: Turning SOS rules into equations / rank @@
+Normal rank
@@ Property / cites work @@
+Q4736873
@@ Property / cites work: Q4736873 / rank @@
+Normal rank
@@ Property / cites work @@
+Finite axiom systems for testing preorder and De Simone process languages
+Normal rank
@@ Property / cites work @@
+Structured operational semantics and bisimulation as a congruence
+Normal rank
@@ Property / cites work @@
+Q4847024
@@ Property / cites work: Q4847024 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3907077
@@ Property / cites work: Q3907077 / rank @@
+Normal rank
@@ Property / cites work @@
+\(Ntyft/ntyxt\) rules reduce to \(n\)tree rules
@@ Property / cites work: \(Ntyft/ntyxt\) rules reduce to \(n\)tree rules / rank @@
+Normal rank
@@ Property / cites work @@
+The meaning of negative premises in transition system specifications
+Normal rank
@@ Property / cites work @@
+Transition system specifications with negative premises
+Normal rank
@@ Property / cites work @@
+The meaning of negative premises in transition system specifications. II
+Normal rank