The following pages link to (Q4791828):
Displayed 14 items.
- Reactive systems, (semi-)saturated semantics and coalgebras on presheaves (Q843097) (← links)
- A basic algebra of stateless connectors (Q860881) (← links)
- A framework for the verification of infinite-state graph transformation systems (Q937301) (← links)
- LMNtal as a hierarchical logic programming language (Q1035709) (← links)
- Locating reaction with 2-categories (Q1770420) (← links)
- A brief history of process algebra (Q1781995) (← links)
- BioAmbients: an abstraction for biological compartments (Q1884869) (← links)
- Pure bigraphs: structure and dynamics (Q2490119) (← links)
- The Edge of Graph Transformation — Graphs for Behavioural Specification (Q3059705) (← links)
- Network Applications of Graph Bisimulation (Q3540393) (← links)
- Open Petri Nets: Non-deterministic Processes and Compositionality (Q3540404) (← links)
- Security, Cryptography and Directed Bigraphs (Q3540426) (← links)
- Adhesive and quasiadhesive categories (Q5313719) (← links)
- Congruence Results of Scope Equivalence for a Graph Rewriting Model of Concurrent Programs (Q5505606) (← links)