Author:
Calder Muffy,Sevegnani Michele
Publisher
Springer Berlin Heidelberg
Reference4 articles.
1. Milner, R.: The space and motion of communicating agents. Cambridge University Press (2009)
2. Sevegnani, M., Calder, M.: Stochastic bigraphs with sharing. Glasgow University Computing Science Technical Report TR-2010-310 (2010)
3. Bigrapher,
http://www.dcs.gla.ac.uk/~michele/bigrapher.html
4. Sventek, J., Koliousis, A., Sharma, O., Dulay, N., Pediaditakis, D., Sloman, M., Rodden, T., Lodge, T., Bedwell, B., Glover, K.: An Information Plane Architecture Supporting Home Network Management. In: Proceedings of the 12th IFIP/IEEE International Symposium on Integrated Network Management (2011)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Computing (optimal) embeddings of directed bigraphs;Science of Computer Programming;2022-09
2. Introduction to Runtime Verification;Lectures on Runtime Verification;2018
3. A verification environment for bigraphs;Innovations in Systems and Software Engineering;2013-04-30