.gif)
] Filters: Author is Caleiro, C. [Clear All Filters]
"Logics for Specifying Concurrent Information Systems",
Logics for Databases and Information Systems: Kluwer Academic Publishers, pp. 167-198, 1998.
Abstract
Download: 1998ECSD.pdf (255.81 KB)
"A Linear Temporal Logic Approach to Objects with Transactions",
Sixth Int1 Conf1 on Algebraic Methodology and Software Technology, AMAST'97, 13-17 December 1997, Sydney, Australia: Springer, pp. 170-184, 1997.
Abstract
"Specifying Communication in Distributed Information Systems",
Acta Informatica, vol. 36, no. Fasc1 8, pp. 591-616, 2000.
Abstract
Download: 2000Acta.pdf (174.2 KB)