Derivation of Concurrent Algorithms in Tempo

Authors:
Steve Gregory
Affiliations:
-
Venue:
LOPSTR '95 Proceedings of the 5th International Workshop on Logic Programming Synthesis and Transformation
Year:
1995

Citing 0
Cited 3

Declarative Concurrency in Java

IPDPS '00 Proceedings of the 15 IPDPS 2000 Workshops on Parallel and Distributed Processing
Implementing Declarative Concurrency in Java

Euro-Par '00 Proceedings from the 6th International Euro-Par Conference on Parallel Processing
An abductive framework for a-priori verification of web services

Proceedings of the 8th ACM SIGPLAN international conference on Principles and practice of declarative programming

Quantified Score

Hi-index	0.00

Visualization

Abstract