Carlos H. C. Duarte

Publication Activity (10 Years)

Years Active: 1997-2002
Publications (10 Years): 0

Publications

Carlos H. C. Duarte, T. S. E. Maibaum
A Branching Time Logical System for Open Distributed Systems Development. Electron. Notes Theor. Comput. Sci. 67 (2002)
Carlos H. C. Duarte
Brazil: Cooperative Development of a Software Industry. IEEE Softw. 19 (3) (2002)
Carlos H. C. Duarte, T. S. E. Maibaum
A rely-guarantee discipline for open distributed systems design. Inf. Process. Lett. 74 (1-2) (2000)
Carlos H. C. Duarte
Proof-theoretic foundations for the design of actor systems. Math. Struct. Comput. Sci. 9 (3) (1999)
Carlos H. C. Duarte
Towards a Proof-Theoretic Foundation for Actor Specification and Verification. ModelAge Workshop (1997)