Carlos H. C. Duarte

2002
5	EE	Carlos H. C. Duarte, T. S. E. Maibaum: A Branching Time Logical System for Open Distributed Systems Development. Electr. Notes Theor. Comput. Sci. 67: (2002)
4	EE	Carlos H. C. Duarte: Brazil: Cooperative Development of a Software Industry. IEEE Software 19(3): 84-87 (2002)
2000
3	EE	Carlos 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)
1999
2		Carlos H. C. Duarte: Proof-theoretic foundations for the design of actor systems. Mathematical Structures in Computer Science 9(3): 227-252 (1999)
1997
1	EE	Carlos H. C. Duarte: Towards a Proof-Theoretic Foundation for Actor Specification and Verification. ModelAge Workshop 1997: 123-142

Coauthor Index

1

T. S. E. Maibaum (Thomas Stephen Edward Maibaum)

[3] [5]