Reactive systems, (semi-)saturated semantics and coalgebras on presheaves (Q843097): Difference between revisions

@@ Property / cites work @@
+Q4293501
@@ Property / cites work: Q4293501 / rank @@
+Normal rank
@@ Property / cites work @@
+On bisimulations for the asynchronous \(\pi\)-calculus
+Normal rank
@@ Property / cites work @@
+Bisimulation by Unification*
@@ Property / cites work: Bisimulation by Unification* / rank @@
+Normal rank
@@ Property / cites work @@
+Compositional semantics for open Petri nets based on deterministic processes
+Normal rank
@@ Property / cites work @@
+The chemical abstract machine
@@ Property / cites work: The chemical abstract machine / rank @@
+Normal rank
@@ Property / cites work @@
+Symbolic Semantics Revisited
@@ Property / cites work: Symbolic Semantics Revisited / rank @@
+Normal rank
@@ Property / cites work @@
+A Category of Explicit Fusions
@@ Property / cites work: A Category of Explicit Fusions / rank @@
+Normal rank
@@ Property / cites work @@
+Process Bisimulation Via a Graphical Encoding
@@ Property / cites work: Process Bisimulation Via a Graphical Encoding / rank @@
+Normal rank
@@ Property / cites work @@
+Labelled Transitions for Mobile Ambients (As Synthesized via a Graphical Encoding)
+Normal rank
@@ Property / cites work @@
+Reactive Systems, Barbed Semantics, and the Mobile Ambients
+Normal rank
@@ Property / cites work @@
+Coalgebraic Models for Reactive Systems
@@ Property / cites work: Coalgebraic Models for Reactive Systems / rank @@
+Normal rank
@@ Property / cites work @@
+CONCUR 2005 – Concurrency Theory
@@ Property / cites work: CONCUR 2005 – Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+An interactive semantics of logic programming
@@ Property / cites work: An interactive semantics of logic programming / rank @@
+Normal rank
@@ Property / cites work @@
+Mobile ambients
@@ Property / cites work: Mobile ambients / rank @@
+Normal rank
@@ Property / cites work @@
+Models for name-passing processes: Interleaving and causal
+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 @@
+RPO, Second-Order Contexts, and λ-Calculus
@@ Property / cites work: RPO, Second-Order Contexts, and λ-Calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Handbook of Graph Grammars and Computing by Graph Transformation
+Normal rank
@@ Property / cites work @@
+Declarative modeling of the operational behavior of logic languages
+Normal rank
@@ Property / cites work @@
+A fully abstract model for the \(\pi\)-calculus.
@@ Property / cites work: A fully abstract model for the \(\pi\)-calculus. / rank @@
+Normal rank
@@ Property / cites work @@
+Q2847810
@@ Property / cites work: Q2847810 / rank @@
+Normal rank
@@ Property / cites work @@
+Reactive Systems over Directed Bigraphs
@@ Property / cites work: Reactive Systems over Directed Bigraphs / rank @@
+Normal rank
@@ Property / cites work @@
+Symbolic bisimulations
@@ Property / cites work: Symbolic bisimulations / rank @@
+Normal rank
@@ Property / cites work @@
+Bigraphs and transitions
@@ Property / cites work: Bigraphs and transitions / rank @@
+Normal rank
@@ Property / cites work @@
+Algebra and Coalgebra in Computer Science
@@ Property / cites work: Algebra and Coalgebra in Computer Science / rank @@
+Normal rank
@@ Property / cites work @@
+Q3156508
@@ Property / cites work: Q3156508 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4536606
@@ Property / cites work: Q4536606 / rank @@
+Normal rank
@@ Property / cites work @@
+Transition systems, link graphs and Petri nets
@@ Property / cites work: Transition systems, link graphs and Petri nets / rank @@
+Normal rank
@@ Property / cites work @@
+Behavioral theory for mobile ambients
@@ Property / cites work: Behavioral theory for mobile ambients / rank @@
+Normal rank
@@ Property / cites work @@
+Foundations of Software Science and Computational Structures
+Normal rank
@@ Property / cites work @@
+Q4791828
@@ Property / cites work: Q4791828 / rank @@
+Normal rank
@@ Property / cites work @@
+Lectures on Concurrency and Petri Nets
@@ Property / cites work: Lectures on Concurrency and Petri Nets / 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 @@
+Local Bigraphs and Confluence: Two Conjectures
@@ Property / cites work: Local Bigraphs and Confluence: Two Conjectures / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus of mobile processes. I
@@ Property / cites work: A calculus of mobile processes. I / rank @@
+Normal rank
@@ Property / cites work @@
+Barbed bisimulation
@@ Property / cites work: Barbed bisimulation / rank @@
+Normal rank
@@ Property / cites work @@
+Q4018066
@@ Property / cites work: Q4018066 / rank @@
+Normal rank
@@ Property / cites work @@
+Deriving Structural Labelled Transitions for Mobile Ambients
+Normal rank
@@ Property / cites work @@
+Making the Unobservable, Unobservable
@@ Property / cites work: Making the Unobservable, Unobservable / 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 @@
+A theory of bisimulation for the \(\pi\)-calculus
@@ Property / cites work: A theory of bisimulation for the \(\pi\)-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Q2848079
@@ Property / cites work: Q2848079 / 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 @@
+From rewrite rules to bisimulation congruences
@@ Property / cites work: From rewrite rules to bisimulation congruences / rank @@
+Normal rank
@@ Property / cites work @@
+Explicit fusions
@@ Property / cites work: Explicit fusions / rank @@
+Normal rank