scientific article; zbMATH DE number 1863157
From MaRDI portal
Publication:4791828
zbMath1006.68080MaRDI QIDQ4791828
Publication date: 3 February 2003
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2154/21540016.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (26)
DBtk: A Toolkit for Directed Bigraphs ⋮ BioAmbients: an abstraction for biological compartments ⋮ Computation in networks of passively mobile finite-state sensors ⋮ Reactive systems, (semi-)saturated semantics and coalgebras on presheaves ⋮ Adhesive and quasiadhesive categories ⋮ A basic algebra of stateless connectors ⋮ Algebras for Tree Decomposable Graphs ⋮ Network Applications of Graph Bisimulation ⋮ Open Petri Nets: Non-deterministic Processes and Compositionality ⋮ Security, Cryptography and Directed Bigraphs ⋮ A framework for the verification of infinite-state graph transformation systems ⋮ On the verification of architectural reconfigurations ⋮ A Rewriting Calculus for Multigraphs with Ports ⋮ Pure bigraphs: structure and dynamics ⋮ Locating reaction with 2-categories ⋮ A brief history of process algebra ⋮ The Edge of Graph Transformation — Graphs for Behavioural Specification ⋮ LMNtal as a hierarchical logic programming language ⋮ Deriving Bisimulation Congruences: A 2-categorical Approach ⋮ Congruence Results of Scope Equivalence for a Graph Rewriting Model of Concurrent Programs ⋮ A Chart Semantics for the Pi-Calculus ⋮ Directed Bigraphs ⋮ Bigraphs and Their Algebra ⋮ Encoding Distributed Process Calculi into LMNtal ⋮ A Coalgebraic Theory of Reactive Systems ⋮ An Algebra for Directed Bigraphs
This page was built for publication:
