|
202
|
Advanced Workflow Patterns
– W.M.P. van der Aalst, A.P. Barros, A.H.M. ter Hofstede, B. Kiepuszewski
- 2000
|
|
40
|
THREE GOOD REASONS FOR USING A PETRI-NET-BASED WORKFLOW MANAGEMENT SYSTEM
– W. M. P. van der Aalst
|
|
31
|
Workflow Applications to Research Agenda: Scalable and Dynamic Work Coordination and Collaboration Systems
– Amit Sheth, Krys J. Kochut
- 1997
|
|
30
|
Automated Compositional Markov Chain Generation for a Plain-Old Telephone System
– Holger Hermanns, Joost-Pieter Katoen
- 1999
|
|
|
Time Constraints in Workflow Net Theory
– Geanina Ionela Macovei, Ru Ioan Cuza Ia¸si
|
|
|
r-Equivalences and Refinement for Petri Net Based Design
– Igor V. Tarasyuk
- 2000
|
|
30
|
Refinement of Actions and Equivalence Notions for Concurrent Systems
– Rob Van Glabbeek, Ursula Goltz
- 1998
|
|
2
|
Optimistic Distributed Execution of Business Process Models
– Alois Ferscha
- 1998
|
|
11
|
A Correctness Criterion for Asynchronous Circuit Validation and Optimization
– Ganesh Gopalakrishnan, Erik Brunvand, Nick Michell, Steven M. Nowick
- 1992
|
|
24
|
Krakatoa: Decompilation in Java (Does Bytecode Reveal Source?)
– Todd A. Proebsting, Scott A. Watterson
- 1997
|
|
50
|
Reverse Compilation Techniques
– Cristina Cifuentes, Cristina Cifuentes
- 1994
|
|
|
Workey: A Method for Workflows
– Jean-Loup Chappelet, André Le Grand
- 1999
|
|
|
Motown: A Practical Approach to Workflows
– Jean-loup Chappelet, André Le Grand, Michel Prevel, Jean-Jacques SNELLA
- 1997
|
|
31
|
Tolerating Exceptions in Workflows: a Unified Framework for Data and Processes
– Alex Borgida, Takahiro Murata
- 1999
|
|
2
|
SPRUCE: A Framework for Software Restructuring
– David Alex Lamb, David Alex Lamb, David Putnam, David Putnam
- 1989
|
|
29
|
Re-engineering needs Generic Programming Language Technology
– Mark van den Brand, Paul Klint, Chris Verhoef
|
|
|
The Böhm–Jacopini Theorem is False, Propositionally
– Dexter Kozen, Wei-lung Dustin Tseng
|
|
5
|
Using hammock graphs to structure programs
– Fubo Zhang, Erik H. D’holl
- 2004
|
|
27
|
Effective, Automatic Procedure Extraction
– Raghavan Komondoor, Susan Horwitz
- 2003
|
|
21
|
Structuring Decompiled Graphs
– Cristina Cifuentes
- 1996
|
