Formal reasoning about actor programs using temporal logic
Concurrent object-oriented programming and petri nets
Specification Diagrams for Actor Systems
Higher-Order and Symbolic Computation
Proof-theoretic foundations for the design of actor systems
Mathematical Structures in Computer Science
Mathematical models of object-based distributed systems
Formal modeling
Hi-index | 0.00 |