The use of temporal logic in the compositional specification of concurrent systems

Interface specification with temporal logic

IWSSD '89 Proceedings of the 5th international workshop on Software specification and design

A look through PRISMA: towards pluralistic knowledge-based environments for software specification acquisition

IWSSD '89 Proceedings of the 5th international workshop on Software specification and design

Formal reasoning about actor programs using temporal logic

Concurrent object-oriented programming and petri nets

A Logical Theory of Interfaces and Objects

IEEE Transactions on Software Engineering

Temporal resolution using a breadth-first search

Annals of Mathematics and Artificial Intelligence

Proof-theoretic foundations for the design of actor systems

Mathematical Structures in Computer Science

Characterizing locality (encapsulation) with bisimulation

ICTAC'10 Proceedings of the 7th International colloquium conference on Theoretical aspects of computing

Encapsulating deontic and branching time specifications

Theoretical Computer Science