Carlos H. C. Duarte

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

5EECarlos H. C. Duarte, T. S. E. Maibaum: A Branching Time Logical System for Open Distributed Systems Development. Electr. Notes Theor. Comput. Sci. 67: (2002)
4EECarlos H. C. Duarte: Brazil: Cooperative Development of a Software Industry. IEEE Software 19(3): 84-87 (2002)
3EECarlos H. C. Duarte, T. S. E. Maibaum: A rely-guarantee discipline for open distributed systems design. Inf. Process. Lett. 74(1-2): 55-63 (2000)
2 Carlos H. C. Duarte: Proof-theoretic foundations for the design of actor systems. Mathematical Structures in Computer Science 9(3): 227-252 (1999)
1EECarlos H. C. Duarte: Towards a Proof-Theoretic Foundation for Actor Specification and Verification. ModelAge Workshop 1997: 123-142

Coauthor Index

1T. S. E. Maibaum (Thomas Stephen Edward Maibaum) [3] [5]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)