Author:
Bruni Roberto,Montanari Ugo,Sammartino Matteo
Publisher
Springer Science and Business Media LLC
Subject
Computer Networks and Communications,Information Systems,Software
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Decidability of Two Truly Concurrent Equivalences for Finite Bounded Petri Nets;Logical Methods in Computer Science;2023-12-21
2. Process Algebras for Petri Nets;Monographs in Theoretical Computer Science. An EATCS Series;2017
3. From urelements to Computation;IFIP Advances in Information and Communication Technology;2016
4. A coalgebraic semantics for causality in Petri nets;Journal of Logical and Algebraic Methods in Programming;2015-11
5. Causal Trees, Finally;Programming Languages with Applications to Biology and Security;2015