A Solution to the State Space Explosion Problem in Declarative Business Process Modeling (S).

Natlia C. Silva, Csar A. L. de Oliveira, Ricardo M. F. Lima

Browse the full SEKE paper archive.