Bigraphical reactive systems
From MaRDI portal
Recommendations
Cited in
(52)- LMNtal as a hierarchical logic programming language
- Reaction graph
- Executing bigraphical reactive systems
- On the verification of architectural reconfigurations
- Locating reaction with 2-categories
- A brief history of process algebra
- BioAmbients: an abstraction for biological compartments
- A tale of two graph models: a case study in wireless sensor networks
- Bigraphs with sharing
- Computation in networks of passively mobile finite-state sensors
- Pure bigraphs: structure and dynamics
- Finding a forest in a tree
- Survey on bigraph and its applications
- Deriving bisimulation congruences: a 2-categorical approach
- Bigraphical semantics of higher-order mobile embedded resources with local names
- A chart semantics for the pi-calculus
- Local bigraphs and confluence: two conjectures (extended abstract)
- Bigraphs and their algebra
- Encoding distributed process calculi into LMNtal
- A coalgebraic theory of reactive systems
- An algebra for directed bigraphs
- \textsf{DBtk}: a toolkit for directed bigraphs
- Zoom structures and reaction systems yield exploration systems
- The Edge of Graph Transformation — Graphs for Behavioural Specification
- Bigraphical Categories
- Axioms for bigraphical structure
- Bigraphical nets
- Axiomatizing binding bigraphs
- Reactive Systems over Directed Bigraphs
- Network Applications of Graph Bisimulation
- Open Petri Nets: Non-deterministic Processes and Compositionality
- Security, Cryptography and Directed Bigraphs
- On the Construction of Sorted Reactive Systems
- scientific article; zbMATH DE number 2163006 (Why is no real title available?)
- Conditional bigraphs
- Algebras for tree decomposable graphs
- Encoding bigraphical reactive systems into graph transformation systems
- Directed bigraphs
- Adhesive and quasiadhesive categories
- Stochastic bigraphs
- A rewriting calculus for multigraphs with ports
- Congruence Results of Scope Equivalence for a Graph Rewriting Model of Concurrent Programs
- Lectures on Concurrency and Petri Nets
- Automata, Languages and Programming
- Foundations of Software Science and Computation Structures
- Probabilistic Bigraphs
- Fuzzy bigraphs
- Formal methods for mobile ad hoc networks: a survey
- A robust graph-based approach to observational equivalence
- Reactive systems, (semi-)saturated semantics and coalgebras on presheaves
- A basic algebra of stateless connectors
- A framework for the verification of infinite-state graph transformation systems
This page was built for publication: Bigraphical reactive systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4791828)
