Publications related to Bigraphs

1.      S. Benford,T. Rodden, M. Calder, M. Sevegnani.
On lions, impala, and bigraphs: modelling interactions in physical/virtual spaces.
ACM Transactions on Computer-Human Interaction, volume 23, issue 2, May 2016. DOI DOI: http://dl.acm.org/citation.cfm?doid=2936307.2882784

2.      M. Sevegnani, M. Calder.
BigraphER:rewriting and analysis engine for bigraphs.
CAV 2016,
28th International Conference on Computer Aided Verification, Lecture Notes in Computer Science, vol. 9780, part II, Springer, 2016.

3.      M. Sevegnani, M. Calder.
Bigraphs with sharing.
Theoretical Computer Science, vol. 577, pp 43--74, Elsevier, 2015. Online copy http://www.sciencedirect.com/science/article/pii/S0304397515001085

4.      M. Calder, A. Koliousis, M. Sevegnani, J. Sventek.
Real-time verification of wireless home networks using bigraphs with sharing.
Science of Computer Programming, volume 80, part B, Feb., pp. 288--310, 2014. Online copy at http:/www.sciencedirect.com/science/article/pii/S0167642313001974. 

5.      M. Calder, M. Sevegnani.
Modelling IEEE 802.11 CSMA/CA RTS/CTS with stochastic bigraphs with sharing.
Formal Aspects of Computer Science, vol. 26, issue 3, pp. 537--561,Springer, doi:10.1007/s00165-012-0270-3, 2014.

6.      M. Calder, M. Sevegnani.
Process algebra for event-driven runtime verification: a case study of wireless network managment.
Proceedings 9th International Conference on Integrated Formal Methods, IFM 2012, Pisa, Italy, Lecture Notes in Computer Science, volume 7321, pp 21-23, 2012. The final publication is available at www.springerlink.com.

7.      M. Sevegnani, M. Calder.
Bigraphs with sharing
DCS Technical Report Series, University of Glasgow, TR-2010-310, 2010.

8.      M. Sevegnani, C. Unsworth, M. Calder.
A SAT based algorithm for the matching problem in biraphs with sharing
DCS Technical Report Series, University of Glasgow, TR-2010-311, 2010.