DOCSLIB.ORG
Explore
Sign Up
Log In
Upload
Search
Home
» Tags
» Bigraph
Bigraph
Bigraphs and Their Algebra
Bigraphs and (Reactive) XML an XML-Centric Model of Computation
Bigraphs and Mobile Processes (Revised)
Local Bigraphs and Confluence
Bigraphs with Sharing ∗ Michele Sevegnani , Muffy Calder
An Implementation of Bigraph Matching
Rewriting and Analysis Engine for Bigraphs
Reactive Systems Over Directed Bigraphs*
UC Berkeley UC Berkeley Electronic Theses and Dissertations
Bigraphs and Their Algebra
A Mathematical Bibliography of Signed and Gain Graphs and Allied Areas
Computing Embeddings of Directed Bigraphs
Bigraphs Reloaded a Presheaf Presentation
A Bigraph Relational Model ∗
Bigraphs with Sharing ∗ Michele Sevegnani , Muffy Calder
An Adequate Compositional Encoding of Bigraph Structure in Linear Logic with Subexponentials Kaustuv Chaudhuri, Giselle Reis
Typed Polyadic Pi-Calculus in Bigraphs ∗
Bigraphs and (Reactive) XML an XML-Centric Model of Computation
Top View
Mobile Reactive Systems Over Bigraphical Machines - a Programming Model and Its Implementation
Distributed Execution of Bigraphical Reactive Systems∗
Bigraphs with Sharing and Applications in Wireless Networks
SOS 2006 Structural Operational Semantics
Memo 2015 2Nd International Workshop on Meta Models for Process Languages
Lecture Notes on Bigraphs: a Model for Mobile Agents
Bigraphical Refinement
Domain-Specific Modelling Languages in Bigraphs
An Implementation of Bigraph Matching Arne John Glenstrup ∗, Troels Christoffer Damgaard, Lars Birkedal, Espen Højsgaard IT University of Copenhagen, Denmark
This Is the Author's Version of a Work That Was Submitted/Accepted for Pub
Kind Bigraphs