Petr Janc̆ar
2 published titles
Decidability questions for bisimilarity of Petri nets and some related problems
1 edition
- LFCS, Dept. of Computer Science, University of Edinburgh
- 1993
- Details
High undecidability of weak bisimilarity for petri nets
1 edition
- LFCS, Dept. of Computer Science, University of Edinburgh
- 1994
- Details
