On Structured Workflow Modelling
CAiSE '00 Proceedings of the 12th International Conference on Advanced Information Systems Engineering
Decidability of Strong Bisimilarity for Timed BPP
CONCUR '02 Proceedings of the 13th International Conference on Concurrency Theory
Petri nets and resource bisimulation
Fundamenta Informaticae - Concurrency specification and programming
Decidability of performance equivalence for basic parallel processes
Theoretical Computer Science
Decidability of branching bisimulation on normed commutative context-free processes
CONCUR'11 Proceedings of the 22nd international conference on Concurrency theory
An introduction to program and thread algebra
CiE'06 Proceedings of the Second conference on Computability in Europe: logical Approaches to Computational Barriers
Similarity of generalized resources in petri nets
PaCT'05 Proceedings of the 8th international conference on Parallel Computing Technologies
Towards amplifying business process reuse
ER'05 Proceedings of the 24th international conference on Perspectives in Conceptual Modeling
Petri nets and resource bisimulation
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P'2002), Part 2
UNDECIDABILITY OF LANGUAGE EQUIVALENCE FOR GENERALIZED REGULAR EXPRESSIONS
Fundamenta Informaticae
Cellular Resource-Driven Automata
Fundamenta Informaticae - Concurrency Specification and Programming CS&P
Hi-index | 0.00 |