Publisher
Springer Science and Business Media LLC
Subject
Computer Networks and Communications,Information Systems,Software
Reference56 articles.
1. Acciai, L., Boreale, M., Zavattaro, G.: On the relationship between spatial logics and behavioral simulations. In: Proceedings of the Fossacs’10, LNCS, vol. 6014, pp. 146–160. Springer, Berlin (2010)
2. Aceto, L.: Relating distributed, temporal and causal observations of simple processes. Fundam. Inf. 17(4), 319–331 (1992)
3. Aceto, L., Ingólfsdóttir, A., Larsen, K., Srba, J.: Reactive Systems: Modelling, Specification and Verification. Cambridge University Press, Cambridge (2007)
4. Autant, C., Belmesk, Z., Schnoebelen, Ph.: Strong bisimilarity on nets revisited. In: Proceedings of the PARLE’91, vol. II: Parallel Languages, LNCS, vol. 506, pp. 295–312. Springer, Berlin (1991)
5. Autant, C., Schnoebelen, Ph.: Place bisimulations in Petri nets. In: Proceedings of the Application and Theory of Petri Nets 1992, LNCS, vol. 616, pp. 45–61. Springer, Berlin (1992)
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献