[wang12]
X. Wang.
Maximal Confluent Processes.
In S. Haddad and L. Pomello (editors), Proc. 33rd International Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets'12), volume 7347 of LNCS, pages 188-207, Springer.
June 2012.
[pdf]
[bib]
|