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, Gerhard Goos, and Juris Hartmanis
Share
×Close
This edition doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
Subjects
| 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
Source records
Community Reviews (0)
Lists
Wikipedia citation
×CloseCopy and paste this code into your Wikipedia page. Need help?