High Level System Design and Analysis Using Abstract State Machines
FM-Trends 98 Proceedings of the International Workshop on Current Trends in Applied Formal Method: Applied Formal Methods
The invention of concurrent programming
The origin of concurrent programming
Proceedings of the 1976 conference on Data : Abstraction, definition and structure
Assertions: A Personal Perspective
IEEE Annals of the History of Computing
| Hi-index | 0.00 |