Communicating sequential processes
Communicating sequential processes
Systematic software development using VDM
Systematic software development using VDM
Specification case studies
The serializability of concurrent database updates
Journal of the ACM (JACM)
Principles of Concurrent Programming
Principles of Concurrent Programming
System development (Prentice-Hall International series in computer science)
System development (Prentice-Hall International series in computer science)
Occam Programming Manual
The Specification and Verified Decomposition of System Requirements Using CSP
IEEE Transactions on Software Engineering
| Hi-index | 0.00 |