An axiomatic semantics of concurrent programming languages

Authors:
L. Lamport
Affiliations:
-
Venue:
Logics and models of concurrent systems
Year:
1989

Citing 0
Cited 3

Control predicates are better than dummy variables for reasoning about program control

ACM Transactions on Programming Languages and Systems (TOPLAS)
Predicates are predicate transformers: a unified compositional theory for concurrency

Proceedings of the eighth annual ACM Symposium on Principles of distributed computing
Formalization of Protocol Engineering Concepts

IEEE Transactions on Computers - Special issue on protocol engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract