Proceedings of the 7th European Symposium on Programming: Programming Languages and Systems

Authors:
Chris Hankin
Affiliations:
-
Venue:
ESOP '98 Proceedings of the 7th European Symposium on Programming: Programming Languages and Systems
Year:
1998

Citing 0
Cited 2

Verification for Java's Reentrant Multithreading Concept

FoSSaCS '02 Proceedings of the 5th International Conference on Foundations of Software Science and Computation Structures
Models and emerging trends of concurrent constraint programming

Constraints

Quantified Score

Hi-index	0.00

Visualization

Abstract