A programming language for the inductive sets, and applications

Countable nondeterminism and random assignment

Journal of the ACM (JACM)

Concurrent dynamic logic

STOC '85 Proceedings of the seventeenth annual ACM symposium on Theory of computing

Concurrent dynamic logic

Journal of the ACM (JACM)

Guarded Quantification in Least Fixed Point Logic

Journal of Logic, Language and Information

Toward program representation and program understanding using process algebras

CASCON '92 Proceedings of the 1992 conference of the Centre for Advanced Studies on Collaborative research - Volume 1

Halting and equivalence of program schemes in models of arbitrary theories

Fields of logic and computation