Communicating sequential processes
Communicating sequential processes
Systematic software development using VDM
Systematic software development using VDM
A calculus of refinements for program derivations
Acta Informatica
Programming from specifications
Programming from specifications
The existence of refinement mappings
Theoretical Computer Science
Specifying Concurrent Program Modules
ACM Transactions on Programming Languages and Systems (TOPLAS)
A Discipline of Programming
Hi-index | 0.00 |