Author Info
Name
Affiliation
Papers
CARLOS H.C. DUARTE
BNDES, Av. Chile 100, Rio de Janeiro, RJ, Brasil, 20001-970, Universidade Estácio de Sá, Rua do Bispo 83, Rio de Janeiro, RJ, Brazil, 20261-902
4
Collaborators
Citations 
PageRank 
1
14
3.97
Referers 
Referees 
References 
22
54
54
Title
Citations
PageRank
Year
A Branching Time Logical System for Open Distributed Systems Development10.362002
A rely-guarantee discipline for open distributed systems design82.562000
Proof-theoretic foundations for the design of actor systems50.701999
Towards a Proof-Theoretic Foundation for Actor Specification and Verification00.341997