Lambda calculus as a workflow model.
Peter M. KellyPaul D. CoddingtonAndrew L. WendelbornPublished in: Concurr. Comput. Pract. Exp. (2009)
Keyphrases
- lambda calculus
- workflow model
- business process
- business processes
- workflow systems
- programming language
- workflow management
- predicate calculus
- data flow
- design methodologies
- database query languages
- fully integrated
- higher order
- program understanding
- petri net
- web services
- complex objects
- mobile agents
- access control
- software engineering
- relational databases