An Algebraic Theory of Object-Oriented Systems
IEEE Transactions on Knowledge and Data Engineering
Towards a Proof-Theoretic Foundation for Actor Specification and Verification
Selected papers from the ESPRIT Project ModelAge Final Workshop on Formal Models of Agents
Proof-theoretic foundations for the design of actor systems
Mathematical Structures in Computer Science
Hi-index | 0.00 |