An edition of Concurrency theory
(1998)
CONCUR '98 Concurrency Theory
9th International Conference, Nice, France, September 8-11, 1998, Proceedings (Lecture Notes in Computer Science)
1 edition
by Davide Sangiorgi, G. Goos, and J. Hartmanis
Share
×Close
This work doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
Previews available in: English
| Edition | Availability |
|---|---|
1
CONCUR '98 Concurrency Theory: 9th International Conference, Nice, France, September 8-11, 1998, Proceedings (Lecture Notes in Computer Science)
September 18, 1998, Springer
Paperback
in English
- 1 edition
3540648968 9783540648963
|
aaaa
|
Book Details
First Sentence
"Temporal logics, which arc modal logics geared towards the description of the temporal ordering of events, have been adopted as a powerful tool for specifying and verifying concurrent programs [36]."
Classifications
The Physical Object
Edition Identifiers
Work Identifiers
Community Reviews (0)
| July 14, 2024 | Edited by MARC Bot | import existing book |
| October 5, 2021 | Edited by ImportBot | import existing book |
| July 28, 2014 | Created by ImportBot | import new book |