Executable component-based semantics (Q1734523): Difference between revisions

@@ Property / cites work @@
+Implicit Propagation in Structural Operational Semantics
+Normal rank
@@ Property / cites work @@
+Modular structural operational semantics
@@ Property / cites work: Modular structural operational semantics / rank @@
+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 @@
+Modular Bisimulation Theory for Computations and Values
+Normal rank
@@ Property / cites work @@
+Weak Bisimulation as a Congruence in MSOS
@@ Property / cites work: Weak Bisimulation as a Congruence in MSOS / rank @@
+Normal rank
@@ Property / cites work @@
+Q5294158
@@ Property / cites work: Q5294158 / rank @@
+Normal rank
@@ Property / cites work @@
+Ott: Effective tool support for the working semanticist
+Normal rank
@@ Property / cites work @@
+Q3655271
@@ Property / cites work: Q3655271 / rank @@
+Normal rank
@@ Property / cites work @@
+An overview of the K semantic framework
@@ Property / cites work: An overview of the K semantic framework / rank @@
+Normal rank
@@ Property / cites work @@
+Maude: specification and programming in rewriting logic
+Normal rank
@@ Property / cites work @@
+Q5277892
@@ Property / cites work: Q5277892 / rank @@
+Normal rank
@@ Property / cites work @@
+Techniques for program error diagnosis on EDSAC 2
@@ Property / cites work: Techniques for program error diagnosis on EDSAC 2 / rank @@
+Normal rank
@@ Property / cites work @@
+Fundamental concepts in programming languages
@@ Property / cites work: Fundamental concepts in programming languages / rank @@
+Normal rank
@@ Property / cites work @@
+Pragmatics of Modular SOS
@@ Property / cites work: Pragmatics of Modular SOS / rank @@
+Normal rank
@@ Property / cites work @@
+Data types à la carte
@@ Property / cites work: Data types à la carte / rank @@
+Normal rank
@@ Property / cites work @@
+Q4692880
@@ Property / cites work: Q4692880 / rank @@
+Normal rank
@@ Property / cites work @@
+A Theory of Name Resolution
@@ Property / cites work: A Theory of Name Resolution / rank @@
+Normal rank