Infinite Behaviour and Fairness in Concurrent Constraint Programming

Authors:
Marta Z. Kwiatkowska
Affiliations:
-
Venue:
Proceedings of the REX Workshop on Sematics: Foundations and Applications
Year:
1992

Citing 0
Cited 3

An abstract interpretation framework to reason on finite failure and other properties of finite and infinite computations

Theoretical Computer Science
An abstract interpretation approach to termination of logic programs

LPAR'00 Proceedings of the 7th international conference on Logic for programming and automated reasoning
Models and emerging trends of concurrent constraint programming

Constraints

Quantified Score

Hi-index	0.02

Visualization

Abstract