A coalgebraic presentation of structured transition systems (Q5941158): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992552
@@ Property / cites work: Q3992552 / 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 @@
+Q3986541
@@ Property / cites work: Q3986541 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4362962
@@ Property / cites work: Q4362962 / rank @@
+Normal rank
@@ Property / cites work @@
+A coalgebraic presentation of structured transition systems
+Normal rank
@@ Property / cites work @@
+Q4256315
@@ Property / cites work: Q4256315 / rank @@
+Normal rank
@@ Property / cites work @@
+An algebraic semantics for structured transition systems and its application to logic programs
+Normal rank
@@ Property / cites work @@
+Semantics: foundations and applications. REX workshop, Beekbergen, The Netherlands, June 1-4, 1992. Proceedings
+Normal rank
@@ Property / cites work @@
+Higher-level synchronising devices in Meije-SCCS
@@ Property / cites work: Higher-level synchronising devices in Meije-SCCS / rank @@
+Normal rank
@@ Property / cites work @@
+Q3839056
@@ Property / cites work: Q3839056 / rank @@
+Normal rank
@@ Property / cites work @@
+Structured operational semantics and bisimulation as a congruence
+Normal rank
@@ Property / cites work @@
+Coalgebraic methods in computer science, CMCS '98. Proceedings of the 1st workshop, Lisbon, Portugal, March 28--29, 1998
+Normal rank
@@ Property / cites work @@
+Adjoint Lifting Theorems for Categories of Algebras
+Normal rank
@@ Property / cites work @@
+Bisimulation from open maps
@@ Property / cites work: Bisimulation from open maps / rank @@
+Normal rank
@@ Property / cites work @@
+Formal verification of parallel programs
@@ Property / cites work: Formal verification of parallel programs / rank @@
+Normal rank
@@ Property / cites work @@
+Q4256308
@@ Property / cites work: Q4256308 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5639839
@@ Property / cites work: Q5639839 / rank @@
+Normal rank
@@ Property / cites work @@
+Towards a unified view of bisimulation: A comparative study
+Normal rank
@@ Property / cites work @@
+Petri nets are monoids
@@ Property / cites work: Petri nets are monoids / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4018066
@@ Property / cites work: Q4018066 / rank @@
+Normal rank
@@ Property / cites work @@
+Processes as terms: non-well-founded models for bisimulation
+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 @@
+Q4251915
@@ Property / cites work: Q4251915 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4222961
@@ Property / cites work: Q4222961 / rank @@
+Normal rank
@@ Property / cites work @@
+On the foundations of final coalgebra semantics: non-well-founded  sets,  partial orders, metric spaces
+Normal rank
@@ Property / cites work @@
+Fixpoint semantics and simulation
@@ Property / cites work: Fixpoint semantics and simulation / rank @@
+Normal rank
@@ Property / cites work @@
+Q4342096
@@ Property / cites work: Q4342096 / rank @@
+Normal rank
@@ Property / cites work @@
+A compositional proof system on a category of labelled transition systems
+Normal rank
@@ Property / cites work @@
+Q4857386
@@ Property / cites work: Q4857386 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5941158