Author:
Baldan Paolo,Corradini Andrea,Gadducci Fabio
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Event Structure Semantics for Multiparty Sessions;Models, Languages, and Tools for Concurrent and Distributed Programming;2019
2. From Event-Oriented Models to Transition Systems;Application and Theory of Petri Nets and Concurrency;2018