1. An extended Petri net model for supporting workflows in a multilevel secure environment;Atluri,1996
2. An execution model for multilevel secure workflows;Atluri,1998
3. S. Castano, M.G. Fugini, Rules and patterns for security in workflow system. IFIP WG 11.3, Database Security Workshop, Greece, 1998
4. S. Das, K. Kochut, J. Miller, A. Sheth, D. Worah, ORBWork: A reliable distributed CORBA-based workflow enactment system for METEOR_2, Technical Report UGA-CS-TR97-001, Department of Computer Science, University of Georgia, February 1997
5. Guarded commands, nondeterminacy, and formal derivation of programs;Dijkstra;Communication of the ACM,1975