Kind Bigraphs

DOI10.1016/J.ENTCS.2008.12.086MaRDI QIDQ4982073zbMATH OpenOpenAlexFDO

Authors Shane Ó Conchúir

Publication date 23 March 2015

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.entcs.2008.12.086

zbMATH Keywords

bigraphsreactive systemsrelative pushoutssorting

Mathematics Subject Classification ID

Searching and sorting (68P10) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Graph theory (including graph drawing) in computer science (68R10)

Recommendations

• scientific article; zbMATH DE number 1409176
• Bigraphs and their algebra
• Bigeodetic graphs
• Bigraphical Categories
• Bigraphs and transitions
• Bigraphical arrangements
• Bigraphical arrangements
• Mixed unit interval bigraphs
• Matching of bigraphs

Cites work

• A spatial logic for concurrency. I
• Anytime, anywhere: modal logics for mobile ambients
• Automata, Languages and Programming
• Bigraphs and transitions
• scientific article; zbMATH DE number 1759615 (Why is no real title available?)
• Local bigraphs and confluence: two conjectures (extended abstract)
• Pure bigraphs: structure and dynamics
• Transition systems, link graphs and Petri nets

Cited in

(1)

• On the Construction of Sorted Reactive Systems

Describes a project that uses

Uses Software

• SLMC

This page was built for publication: Kind Bigraphs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4982073)