New Programming Languages for Artificial Intelligence Research
ACM Computing Surveys (CSUR)
ACM Computing Surveys (CSUR)
Backtracking in a Generalized Control Setting
ACM Transactions on Programming Languages and Systems (TOPLAS)
ACM Transactions on Programming Languages and Systems (TOPLAS)
Communications of the ACM
Communicating sequential processes
Communications of the ACM
Communications of the ACM
Two-level control structure for nondeterministic programming
Communications of the ACM
On the criteria to be used in decomposing systems into modules
Communications of the ACM
A Calculus of Communicating Systems
A Calculus of Communicating Systems
The Denotational Description of Programming Languages: An Introduction
The Denotational Description of Programming Languages: An Introduction
Proceedings of an ACM conference on Language design for reliable software
DISTRIBUTED COMPUTER SYSTEMS: STRUCTURE AND SEMANTICS
DISTRIBUTED COMPUTER SYSTEMS: STRUCTURE AND SEMANTICS
From PLANNER to CONNIVER: a genetic approach
AFIPS '72 (Fall, part II) Proceedings of the December 5-7, 1972, fall joint computer conference, part II
CCAL: an interpreted language for experimentation in concurrent control
SIGPLAN '87 Papers of the Symposium on Interpreters and interpretive techniques
History of the Icon programming language
HOPL-II The second ACM SIGPLAN conference on History of programming languages
History of the Icon programming language
History of programming languages---II
The Semantics of Ugo Montanari
Concurrency, Graphs and Models
Hi-index | 0.00 |