Branching time and abstraction in bisimulation semantics
Journal of the ACM (JACM)
Compositional verification of concurrent systems using Petri-net-based condensation rules
ACM Transactions on Programming Languages and Systems (TOPLAS)
Reduction Methods for Real-Time Systems Using Delay Time Petri Nets
IEEE Transactions on Software Engineering
Petri nets for modelling fault tolerant distibuted systems in a modular and incremental way
EW 4 Proceedings of the 4th workshop on ACM SIGOPS European workshop
A completed hierarchy of true concurrent equivalences
Information Processing Letters
Truly Concurrent Logic via In-Between Specification
Electronic Notes in Theoretical Computer Science (ENTCS)
Bisimulation and the reduction of Petri nets
ICATPN'00 Proceedings of the 21st international conference on Application and theory of petri nets
| Hi-index | 0.01 |