Salient features of and executable specification language and its environment
IEEE Transactions on Software Engineering
A comparison of techniques for the specification of external system behavior
Communications of the ACM
A simple approach to specifying concurrent systems
Communications of the ACM
Communicating sequential processes
Communications of the ACM
A Calculus of Communicating Systems
A Calculus of Communicating Systems
Structured Analysis and System Specification
Structured Analysis and System Specification
| Hi-index | 0.00 |