Approximating UNITY

Authors:
Jürgen Dingel
Affiliations:
-
Venue:
COORDINATION '97 Proceedings of the Second International Conference on Coordination Languages and Models
Year:
1997

Citing 0
Cited 2

Reasoning about implicit invocation

SIGSOFT '98/FSE-6 Proceedings of the 6th ACM SIGSOFT international symposium on Foundations of software engineering
A Trace-Based Refinement Calculus for Shared-Variable Parallel Programs

AMAST '98 Proceedings of the 7th International Conference on Algebraic Methodology and Software Technology

Quantified Score

Hi-index	0.00

Visualization

Abstract