Power Domains Supporting Recursion and Failure
Authors:
Reinhold Heckmann
Affiliations:
-
Venue:
CAAP '92 Proceedings of the 17th Colloquium on Trees in Algebra and Programming
Year:
1992
Citing
0
Cited
1
Algebraic approaches to nondeterminism—an overview
ACM Computing Surveys (CSUR)
Quantified Score
Hi-index
0.00
Visualization
Abstract