Powerdomains and nondeterministic recursive definitions

Authors:
Matthew Hennessy
Affiliations:
-
Venue:
Proceedings of the 5th Colloquium on International Symposium on Programming
Year:
1982

Citing 0
Cited 3

Algebraic approaches to nondeterminism—an overview

ACM Computing Surveys (CSUR)
Remarks on Testing Probabilistic Processes

Electronic Notes in Theoretical Computer Science (ENTCS)
A Convex Powerdomain over Lattices: its Logic and λ-Calculus

Fundamenta Informaticae

Quantified Score

Hi-index	0.00

Visualization

Abstract