Modularity and Implementation of Mathematical Operational Semantics (Q5166622): Difference between revisions

@@ Property / Wikidata QID @@
+Q113318283
@@ Property / Wikidata QID: Q113318283 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Haskell
@@ Property / describes a project that uses: Haskell / rank @@
+Normal rank
@@ 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.entcs.2011.02.017
+Normal rank
@@ Property / OpenAlex ID @@
+W2139628421
@@ Property / OpenAlex ID: W2139628421 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebra of communicating processes with abstraction
+Normal rank
@@ Property / cites work @@
+Fast and loose reasoning is morally correct
@@ Property / cites work: Fast and loose reasoning is morally correct / rank @@
+Normal rank
@@ Property / cites work @@
+Q2847808
@@ Property / cites work: Q2847808 / rank @@
+Normal rank
@@ Property / cites work @@
+Composing monads using coproducts
@@ Property / cites work: Composing monads using coproducts / rank @@
+Normal rank
@@ Property / cites work @@
+Q4362961
@@ Property / cites work: Q4362961 / rank @@
+Normal rank
@@ Property / cites work @@
+Coproducts of Ideal Monads
@@ Property / cites work: Coproducts of Ideal Monads / rank @@
+Normal rank
@@ Property / cites work @@
+Q3784044
@@ Property / cites work: Q3784044 / rank @@
+Normal rank
@@ Property / cites work @@
+Fold and unfold for program semantics
@@ Property / cites work: Fold and unfold for program semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Q4355684
@@ Property / cites work: Q4355684 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2847814
@@ Property / cites work: Q2847814 / rank @@
+Normal rank
@@ Property / cites work @@
+Adding recursive constructs to bialgebraic semantics
+Normal rank
@@ Property / cites work @@
+Q4499306
@@ Property / cites work: Q4499306 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4215784
@@ Property / cites work: Q4215784 / rank @@
+Normal rank
@@ Property / cites work @@
+Modular structural operational semantics
@@ Property / cites work: Modular structural operational semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Q4414308
@@ Property / cites work: Q4414308 / 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 @@
+Q2851544
@@ Property / cites work: Q2851544 / rank @@
+Normal rank
@@ Property / cites work @@
+Data types à la carte
@@ Property / cites work: Data types à la carte / rank @@
+Normal rank
@@ Property / cites work @@
+Q4362964
@@ Property / cites work: Q4362964 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5166622