Recursive definitions of partial functions and their computations

The denotational semantics of dynamic networks of processes

ACM Transactions on Programming Languages and Systems (TOPLAS)

Concurrent transition system semantics of process networks

POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages

Minimal and Optimal Computations of Recursive Programs

Journal of the ACM (JACM)

Programming with Equations

ACM Transactions on Programming Languages and Systems (TOPLAS)

Fixpoint approach to the theory of computation

Communications of the ACM

Inductive methods for proving properties of programs

Communications of the ACM

Threshold evaluation and the semantics of call by value, assignment and generic procedures

POPL '77 Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages

An interpreter generator using tree pattern matching

POPL '79 Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages

Implementation of an interpreter for abstract equations

POPL '84 Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages

A system for classifying program verification methods: Assigning meanings to program verification methods

ICSE '84 Proceedings of the 7th international conference on Software engineering

Subtree replacement systems: A unifying theory for recursive equations, LISP, lucid and combinatory logic

STOC '77 Proceedings of the ninth annual ACM symposium on Theory of computing

Computability concepts for programming language semantics

STOC '75 Proceedings of seventh annual ACM symposium on Theory of computing

Correct and optimal implementations of recursion in a simple programming language

STOC '73 Proceedings of the fifth annual ACM symposium on Theory of computing

Inductive methods for proving properties of programs

Proceedings of ACM conference on Proving assertions about programs

Recursive definitions of partial functions and their computations

Proceedings of ACM conference on Proving assertions about programs

QUEST: the design of a very high level, pedagogic programming language

ACM SIGPLAN Notices

Computation of recursive programs: theory vs practice

AFIPS '72 (Spring) Proceedings of the May 16-18, 1972, spring joint computer conference

On the origins of bisimulation and coinduction

ACM Transactions on Programming Languages and Systems (TOPLAS)