Publications

Export 4 results:
Sort by: Author Title Type [ Year (Desc)]
2012
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 Abstract

n/a

Ferreira, P.  2012.  Notes on a testing web framework for BST. : CITI / DI-FCT-UNL Abstract
n/a
Vaz, C, Ferreira C.  2012.  On the analysis of compensation correctness. J. Log. Algebr. Program.. 81:585-605., Number 5 Abstract
n/a
2010
Caires, L, Ferreira C, Ravara A.  2010.  A simple proof system for lock-free concurrency. International Workshop on Proof Systems for Program Logics (PSPL). Abstract
n/a