Kenneth J. Turner
-
Specification architectures
Formal methods for distributed processing
An Adequate Logic for Full LOTOS
FME '01 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods for Increasing Software Productivity