Problems from the Workshop on the Analysis of Concurrent Systems

Authors:
Leslie Lamport
Affiliations:
-
Venue:
The Analysis of Concurrent Systems
Year:
1983

Citing 0
Cited 2

Specifying message passing systems requires extending temporal logic

PODC '87 Proceedings of the sixth annual ACM Symposium on Principles of distributed computing
Towards a formal specification of an electronic payment system in CSP-CASL

WADT'04 Proceedings of the 17th international conference on Recent Trends in Algebraic Development Techniques

Quantified Score

Hi-index	0.00

Visualization

Abstract