Bigraphs with sharing
Open Access
- 1 April 2015
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 577, 43-73
Abstract
No abstract availableKeywords
Funding Information
- EPSRC
- EPSRC (EP/F064225/1)
This publication has 8 references indexed in Scilit:
- Modelling IEEE 802.11 CSMA/CA RTS/CTS with stochastic bigraphs with sharingFormal Aspects of Computing, 2014
- Real-time verification of wireless home networks using bigraphs with sharingScience of Computer Programming, 2014
- Stochastic BigraphsElectronic Notes in Theoretical Computer Science, 2008
- A Coalgebraic Theory of Reactive SystemsElectronic Notes in Theoretical Computer Science, 2008
- Matching of BigraphsElectronic Notes in Theoretical Computer Science, 2007
- Directed BigraphsElectronic Notes in Theoretical Computer Science, 2007
- Faster Subtree IsomorphismJournal of Algorithms, 1999
- An Algorithm for Subgraph IsomorphismJournal of the ACM, 1976