An LTL Semantics of BusinessWorkflows with Recovery

Proceedings of the 9th International Conference on Software Paradigm Trends ◽

10.5220/0005110000290040 ◽

2014 ◽

Author(s):

Luca Ferrucci ◽

Marcello M. Bersani ◽

Manuel Mazzara

Download Full-text