Non-interference properties of a concurrent object-based language: proofs based on operational semantics

Scientific Decisions which Characterize VDM

FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I

Asynchronous and deterministic objects

Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Splitting atoms safely

Theoretical Computer Science

Asynchronous sequential processes

Information and Computation

Object-oriented operations have two parts

2FACS'97 Proceedings of the 2nd BCS-FACS conference on Northern Formal Methods