Publisher
Springer Berlin Heidelberg
Reference13 articles.
1. Lecture Notes in Computer Science;E. Best,1999
2. Lecture Notes in Computer Science;L. Cardelli,2000
3. Jensen, O.-H., Milner, R.: Bigraphs and transitions. In: Proc. 30th SIGPLAN-SIGACT Symposium on Principles of Programming Languages (2003)
4. Jensen, O.-H., Milner, R.: Bigraphs and mobile processes. Technical Report UCAMCL- TR-570, University of Cambridge Computer Laboratory (2003), Also available at
http://www.cl.cam.ac.uk/users/rm135
, together with an index and slides
5. Lecture Notes in Computer Science;J.J. Leifer,2000
Cited by
27 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Mapping Petri Nets onto a Calculus of Context-Aware Ambients;Software;2024-07-18
2. A Bigraphs Paper of Sorts;Lecture Notes in Computer Science;2024
3. A multi-layered bigraphical modelling approach for context-aware systems;Journal of King Saud University - Computer and Information Sciences;2021-08
4. Asynchronous Traces and Open Petri Nets;Programming Languages with Applications to Biology and Security;2015
5. Concurrency cannot be observed, asynchronously;Mathematical Structures in Computer Science;2014-11-10