Back to Search Start Over

Problems from the workshop on the analysis of concurrent systems

Authors :
Leslie Lamport
Source :
The Analysis of Concurrent Systems ISBN: 9783540160472, The Analysis of Concurrent Systems
Publication Year :
1985
Publisher :
Springer Berlin Heidelberg, 1985.

Subjects

Subjects :
Message delivery
Computer science
Programming language
Atomic actions
Temporal logic
computer.software_genre
computer

Details

ISBN :
978-3-540-16047-2
ISBNs :
9783540160472
Database :
OpenAIRE
Journal :
The Analysis of Concurrent Systems ISBN: 9783540160472, The Analysis of Concurrent Systems
Accession number :
edsair.doi...........955035aafab0df346cb4592375efea65
Full Text :
https://doi.org/10.1007/3-540-16047-7_51
Full Text Access
View/download PDF

Tools

Authors Abstract Subjects Details