Sciweavers

31 search results - page 7 / 7
» Making Workflow Models Sound Using Petri Net Controller Synt...
Sort
View
ICFP
2009
ACM
14 years 5 months ago
Causal commutative arrows and their optimization
re a popular form of abstract computation. Being more general than monads, they are more broadly applicable, and in parare a good abstraction for signal processing and dataflow co...
Hai Liu, Eric Cheng, Paul Hudak