Inference of Session Types From Control Flow.

Peter Collingbourne Paul H. J. Kelly

Published in: Electron. Notes Theor. Comput. Sci. (2010)

Keyphrases

control flow
data flow
modeling language
workflow management systems
bayesian networks
process model
web services
software testing
transition systems
knowledge base
multi agent
cooperative
language constructs