Implicit Propagation in Structural Operational Semantics (Q2810689): Difference between revisions

@@ Property / DOI @@
-.1016/j.entcs.2009.07.073
@@ Property / DOI: 10.1016/j.entcs.2009.07.073 / rank @@
-Normal rank
@@ Property / Wikidata QID @@
+Q57783421
@@ Property / Wikidata QID: Q57783421 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2760240
@@ Property / cites work: Q2760240 / rank @@
+Normal rank
@@ Property / cites work @@
+CASL: the Common Algebraic Specification Language.
+Normal rank
@@ Property / cites work @@
+CASL user manual. Introduction to using the Common Algebraic Specification Language. With chapters by Till Mossakowski, Donald Sannella, and Andrzej Tarlecki. With CD-ROM.
+Normal rank
@@ Property / cites work @@
+Observing localities
@@ Property / cites work: Observing localities / rank @@
+Normal rank
@@ Property / cites work @@
+The Java Memory Model: Operationally, Denotationally, Axiomatically
+Normal rank
@@ Property / cites work @@
+Q3998266
@@ Property / cites work: Q3998266 / rank @@
+Normal rank
@@ Property / cites work @@
+A Rewrite Framework for Language Definitions and for Generation of Efficient Interpreters
+Normal rank
@@ Property / cites work @@
+Q3774923
@@ Property / cites work: Q3774923 / rank @@
+Normal rank
@@ Property / cites work @@
+TinkerType: a language for playing with formal systems
+Normal rank
@@ Property / cites work @@
+Algebraic Methodology and Software Technology
@@ Property / cites work: Algebraic Methodology and Software Technology / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4941890
@@ Property / cites work: Q4941890 / rank @@
+Normal rank
@@ Property / cites work @@
+Pragmatics of Modular SOS
@@ Property / cites work: Pragmatics of Modular SOS / rank @@
+Normal rank
@@ Property / cites work @@
+Modular structural operational semantics
@@ Property / cites work: Modular structural operational semantics / rank @@
+Normal rank
@@ Property / cites work @@
+CASL reference manual. The complete documentation of the common algebraic specification language.
+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 @@
+Q4023828
@@ Property / cites work: Q4023828 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2778806
@@ Property / cites work: Q2778806 / 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 / DOI @@
+.1016/J.ENTCS.2009.07.073
@@ Property / DOI: 10.1016/J.ENTCS.2009.07.073 / rank @@
+Normal rank