Relational presheaves, change of base and weak simulation (Q2341703): Difference between revisions

@@ Property / cites work @@
+Quantales, observational logic and process semantics
+Normal rank
@@ Property / cites work @@
+A final coalgebra theorem
@@ Property / cites work: A final coalgebra theorem / rank @@
+Normal rank
@@ Property / cites work @@
+Q4680360
@@ Property / cites work: Q4680360 / rank @@
+Normal rank
@@ Property / cites work @@
+Introduction to bicategories
@@ Property / cites work: Introduction to bicategories / rank @@
+Normal rank
@@ Property / cites work @@
+Reactive systems, (semi-)saturated semantics and coalgebras on presheaves
+Normal rank
@@ Property / cites work @@
+CONCUR 2005 – Concurrency Theory
@@ Property / cites work: CONCUR 2005 – Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+A Connector Algebra for P/T Nets Interactions
@@ Property / cites work: A Connector Algebra for P/T Nets Interactions / rank @@
+Normal rank
@@ Property / cites work @@
+Connector algebras for C/E and P/T nets' interactions
+Normal rank
@@ Property / cites work @@
+CONCUR 2004 - Concurrency Theory
@@ Property / cites work: CONCUR 2004 - Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q4513619
@@ Property / cites work: Q4513619 / rank @@
+Normal rank
@@ Property / cites work @@
+Relational and partial variable sets and basic predicate logic
+Normal rank
@@ Property / cites work @@
+Generic Forward and Backward Simulations
@@ Property / cites work: Generic Forward and Backward Simulations / rank @@
+Normal rank
@@ Property / cites work @@
+Generic Forward and Backward Simulations II: Probabilistic Simulation
+Normal rank
@@ Property / cites work @@
+Generic Trace Semantics via Coinduction
@@ Property / cites work: Generic Trace Semantics via Coinduction / rank @@
+Normal rank
@@ Property / cites work @@
+Simulations in coalgebra
@@ Property / cites work: Simulations in coalgebra / rank @@
+Normal rank
@@ Property / cites work @@
+Q2847813
@@ Property / cites work: Q2847813 / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulation from open maps
@@ Property / cites work: Bisimulation from open maps / rank @@
+Normal rank
@@ Property / cites work @@
+Q3667049
@@ Property / cites work: Q3667049 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3028349
@@ Property / cites work: Q3028349 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4373556
@@ Property / cites work: Q4373556 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4100671
@@ Property / cites work: Q4100671 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4536606
@@ Property / cites work: Q4536606 / rank @@
+Normal rank
@@ Property / cites work @@
+Similarity Quotients as Final Coalgebras
@@ Property / cites work: Similarity Quotients as Final Coalgebras / rank @@
+Normal rank
@@ Property / cites work @@
+Pure bigraphs: structure and dynamics
@@ Property / cites work: Pure bigraphs: structure and dynamics / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus of mobile processes. II
@@ Property / cites work: A calculus of mobile processes. II / rank @@
+Normal rank
@@ Property / cites work @@
+Modular structural operational semantics
@@ Property / cites work: Modular structural operational semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Q3156483
@@ Property / cites work: Q3156483 / 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 @@
+Deriving structural labelled transitions for mobile ambients
+Normal rank
@@ Property / cites work @@
+An Exercise on Transition Systems
@@ Property / cites work: An Exercise on Transition Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4884543
@@ Property / cites work: Q4884543 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4457841
@@ Property / cites work: Q4457841 / 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 @@
+Q3396010
@@ Property / cites work: Q3396010 / rank @@
+Normal rank
@@ Property / cites work @@
+Relational Presheaves as Labelled Transition Systems
+Normal rank
@@ Property / cites work @@
+Q2849887
@@ Property / cites work: Q2849887 / rank @@
+Normal rank
@@ Property / cites work @@
+Relating coalgebraic notions of bisimulation
@@ Property / cites work: Relating coalgebraic notions of bisimulation / rank @@
+Normal rank
@@ Property / cites work @@
+Q4857386
@@ Property / cites work: Q4857386 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4353632
@@ Property / cites work: Q4353632 / rank @@
+Normal rank