A programming logic for formal concurrent systems
Authors:
E. Pascal Gribomont
Affiliations:
-
Venue:
CONCUR '90 Proceedings on Theories of concurrency : unification and extension: unification and extension
Year:
1990
Citing
0
Cited
2
Sharing Variables in Distributed Memory
Fundamenta Informaticae
Sharing Variables in Distributed Memory
Fundamenta Informaticae
Quantified Score
Hi-index
0.00
Visualization
Abstract