Constructing Specifications by Combining Parallel Elaborations
IEEE Transactions on Software Engineering
Program Transformation Systems
ACM Computing Surveys (CSUR)
The operational versus the conventional approach to software development
Communications of the ACM
Testing incomplete specifications of distributed systems
PODC '82 Proceedings of the first ACM SIGACT-SIGOPS symposium on Principles of distributed computing
Operational specification languages
ACM '83 Proceedings of the 1983 annual conference on Computers : Extending the human resource
Some features of the TAXIS data model
VLDB '80 Proceedings of the sixth international conference on Very Large Data Bases - Volume 6
| Hi-index | 0.02 |