Bigraphical Categories
暂无分享，去创建一个
Bigraphs are a candidate model that aims to provide a theoretical platform for ubiquitous computing systems. This short paper summarises the categories, and the functors between them, that represent the structure of that theory.
[1] Robin Milner,et al. The Space and Motion of Communicating Agents , 2009 .
[2] Lars Birkedal,et al. Sortings for Reactive Systems , 2006, CONCUR.
[3] Christel Baier,et al. CONCUR 2006 - Concurrency Theory, 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006, Proceedings , 2006, CONCUR.