Carlos H. C. Duarte

Carlos Henrique C. Duarte

	2011
6		Carlos Henrique C. Duarte: Mathematical Models of Object-Based Distributed Systems. Formal Modeling: Actors, Open Systems, Biological Systems 2011: 57-73
	2002
5		Carlos H. C. Duarte, T. S. E. Maibaum: A Branching Time Logical System for Open Distributed Systems Development. Electr. Notes Theor. Comput. Sci. 67: 184-203 (2002)
4		Carlos H. C. Duarte: Brazil: Cooperative Development of a Software Industry. IEEE Software 19(3): 84-87 (2002)
	2000
3		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		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]

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page