Bialgebraic Methods in Structural Operational Semantics (Q2866314): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.entcs.2006.11.018
+Normal rank
@@ Property / OpenAlex ID @@
+W1990952550
@@ Property / OpenAlex ID: W1990952550 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2760240
@@ Property / cites work: Q2760240 / rank @@
+Normal rank
@@ Property / cites work @@
+GSOS for probabilistic transition systems
@@ Property / cites work: GSOS for probabilistic transition systems / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulation can't be traced
@@ Property / cites work: Bisimulation can't be traced / rank @@
+Normal rank
@@ Property / cites work @@
+CONCUR 2004 - Concurrency Theory
@@ Property / cites work: CONCUR 2004 - Concurrency Theory / 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 @@
+Fundamentals of Computation Theory
@@ Property / cites work: Fundamentals of Computation Theory / rank @@
+Normal rank
@@ Property / cites work @@
+A new approach to abstract syntax with variable binding
+Normal rank
@@ Property / cites work @@
+Q2852093
@@ Property / cites work: Q2852093 / rank @@
+Normal rank
@@ Property / cites work @@
+Distributive laws for the coinductive solution of recursive equations
+Normal rank
@@ Property / cites work @@
+Q4355684
@@ Property / cites work: Q4355684 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4737185
@@ Property / cites work: Q4737185 / rank @@
+Normal rank
@@ Property / cites work @@
+Rule Formats for Timed Processes
@@ Property / cites work: Rule Formats for Timed Processes / rank @@
+Normal rank
@@ Property / cites work @@
+Q2847814
@@ Property / cites work: Q2847814 / rank @@
+Normal rank
@@ Property / cites work @@
+Coalgebraic semantics for timed processes
@@ Property / cites work: Coalgebraic semantics for timed processes / rank @@
+Normal rank
@@ Property / cites work @@
+Adding recursive constructs to bialgebraic semantics
+Normal rank
@@ Property / cites work @@
+Q2848127
@@ Property / cites work: Q2848127 / rank @@
+Normal rank
@@ Property / cites work @@
+CONCUR 2003 - Concurrency Theory
@@ Property / cites work: CONCUR 2003 - Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q4536606
@@ Property / cites work: Q4536606 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4499306
@@ Property / cites work: Q4499306 / rank @@
+Normal rank
@@ Property / cites work @@
+Category theory for operational semantics
@@ Property / cites work: Category theory for operational semantics / 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 @@
+Foundations of Software Science and Computational Structures
+Normal rank
@@ Property / cites work @@
+Testing Semantics: Connecting Processes and Process Logics
+Normal rank
@@ Property / cites work @@
+The origins of structural operational semantics
@@ Property / cites work: The origins of 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 @@
+Q4256313
@@ Property / cites work: Q4256313 / rank @@
+Normal rank
@@ Property / cites work @@
+Universal coalgebra: A theory of systems
@@ Property / cites work: Universal coalgebra: A theory of systems / rank @@
+Normal rank
@@ Property / cites work @@
+Locating reaction with 2-categories
@@ Property / cites work: Locating reaction with 2-categories / rank @@
+Normal rank
@@ Property / cites work @@
+Well-behaved Translations between Structural Operational Semantics
+Normal rank