ACM Computing Surveys (CSUR)
Communications of the ACM
Communicating sequential processes
Communications of the ACM
Formal verification of parallel programs
Communications of the ACM
Guarded commands, nondeterminacy and formal derivation of programs
Communications of the ACM
Concrete Control Phases in Languages for Programming Complex Systems
Proceedings of the Fourth 'Colloque International sur la Programmation' on International Symposium on Programming
Simula Begin
Hi-index | 0.00 |