Author:
Jensen Ole Høgh,Milner Robin
Cited by
23 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A Bigraph Relational Model;Electronic Proceedings in Theoretical Computer Science;2011-10-31
2. Efficient Bisimilarities from Second-Order Reaction Semantics for π-Calculus;CONCUR 2010 - Concurrency Theory;2010
3. DBtk: A Toolkit for Directed Bigraphs;Algebra and Coalgebra in Computer Science;2009
4. AGAPIA v0.1: A Programming Language for Interactive Systems and Its Typing System;Electronic Notes in Theoretical Computer Science;2008-05
5. Bigraphs and Their Algebra;Electronic Notes in Theoretical Computer Science;2008-04