A General Theory for Evolving Application Models
IEEE Transactions on Knowledge and Data Engineering
A High-Level Petri Nets-Based Approach to Verifying Task Structures
IEEE Transactions on Knowledge and Data Engineering
Modeling workflow processes with colored Petri nets
Computers in Industry
Detecting Deadlock in Ada Rendezvous Flow Structure Based on Process Algebra
ICFEM '02 Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
Specifying Complex Process Control Aspects in Workflows for Exception Handling
DASFAA '99 Proceedings of the Sixth International Conference on Database Systems for Advanced Applications
Process algebra model of Ada protected objects
ACM SIGPLAN Notices
Hi-index | 0.00 |