First-Order Dynamic Logic for Compensable Processes
- Citation:
- Bruni, R, Ferreira C, Kauer AK.
2012. First-Order Dynamic Logic for Compensable Processes, June 14-15. Coordination Models and Languages - 14th International Conference. :104-121., Stockholm, Swenden
Date Presented:
June 14-15
Abstract:
n/a
Notes:
n/a