Towards Bialgebraic Semantics for the Linear Time – Branching Time Spectrum (Q2890333): Difference between revisions

@@ Property / cites work @@
+Q2760238
@@ Property / cites work: Q2760238 / rank @@
+Normal rank
@@ Property / cites work @@
+A Coalgebraic Characterization of Behaviours in the Linear Time – Branching Time Spectrum
+Normal rank
@@ Property / cites work @@
+Defining Behaviours by Quasi-finality
@@ Property / cites work: Defining Behaviours by Quasi-finality / rank @@
+Normal rank
@@ Property / cites work @@
+CSP, partial automata, and coalgebras.
@@ Property / cites work: CSP, partial automata, and coalgebras. / rank @@
+Normal rank
@@ Property / cites work @@
+Processes as formal power series: a coinductive approach to denotational semantics
+Normal rank
@@ Property / cites work @@
+Q2847813
@@ Property / cites work: Q2847813 / rank @@
+Normal rank
@@ Property / cites work @@
+Generic Trace Semantics via Coinduction
@@ Property / cites work: Generic Trace Semantics via Coinduction / rank @@
+Normal rank
@@ Property / cites work @@
+Exemplaric Expressivity of Modal Logics
@@ Property / cites work: Exemplaric Expressivity of Modal Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Bialgebraic methods and modal logic in structural operational semantics
+Normal rank
@@ Property / cites work @@
+Structural Operational Semantics and Modal Logic, Revisited
+Normal rank
@@ Property / cites work @@
+Structured operational semantics and bisimulation as a congruence
+Normal rank
@@ Property / cites work @@
+Bisimulation can't be traced
@@ Property / cites work: Bisimulation can't be traced / rank @@
+Normal rank
@@ Property / cites work @@
+Towards Bialgebraic Semantics for the Linear Time – Branching Time Spectrum
+Normal rank
@@ Property / cites work @@
+CSP-CASL -- a new integration of process algebra and algebraic specification
+Normal rank