Author:
Basten Twan,Voorhoeve Marc
Publisher
Springer Berlin Heidelberg
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Correctness of Broadcast via Multicast: Graphically and Formally;Electronic Proceedings in Theoretical Computer Science;2022-09-19
2. ACP Semantics for Petri Nets;Computing and Informatics;2018
3. An Algebra of Non-safe Petri Boxes;Algebraic Methodology and Software Technology;2002
4. An algebraic semantics for hierarchical P/T nets;Lecture Notes in Computer Science;1995