Author:
Ferrari GianLuigi,Montanari Ugo,Tuosto Emilio
Publisher
Springer Berlin Heidelberg
Cited by
19 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. RPO semantics for mobile ambients;Mathematical Structures in Computer Science;2014-06-26
2. A Flat Process Calculus for Nested Membrane Interactions;Scientific Annals of Computer Science;2014
3. Open Multiparty Interaction;Recent Trends in Algebraic Development Techniques;2013
4. Labelled Transitions for Mobile Ambients (As Synthesized via a Graphical Encoding);Electronic Notes in Theoretical Computer Science;2009-07
5. Exploiting User-definable Synchronizations in Graph Transformation;Electronic Notes in Theoretical Computer Science;2008-04