Items related to Current Trends in Concurrency (Lecture Notes in Computer...

Current Trends in Concurrency (Lecture Notes in Computer Science) - Softcover

De Bakker, J. W.

 
9780387164885: Current Trends in Concurrency (Lecture Notes in Computer Science)
Softcover
ISBN 10: 038716488X ISBN 13: 9780387164885
Publisher: Springer Verlag, 1986

This specific ISBN edition is currently not available.

Synopsis

Computer science in industry.- Dataflow and Data-driven and demand-driven distributed computation.- Contrasting themes in the semantics of imperative concurrency.- Functional programming and the language tale.- Design, specification and validation of hierarchies of protocols in distributed systems.- Infinitary Basic theory and applications to concurrent systems.- The quest goes A survey of proofsystems for partial correctness of CSP.- Logic The foundations, the approach and the role of concurrency.- Process Semantics, specification and verification.- Applications of temporal logic to the specification and verification of reactive A survey of current trends.- Petri Basic notions, structure, behaviour.- Concepts for concurrent programming.

"synopsis" may belong to another edition of this title.

Publisher
Springer Verlag
Publication date
1986
Language
English
ISBN 10 
038716488X
ISBN 13 
9780387164885
Binding
Paperback
Number of pages
728

(No Available Copies)

Search Books:



Create a Want

Can't find the book you're looking for? We'll keep searching for you. If one of our booksellers adds it to AbeBooks, we'll let you know!

Create a Want

Other Popular Editions of the Same Title

9783540164883: Current Trends in Concurrency: Overviews and Tutorials (Lecture Notes in Computer Science, 224)

Featured Edition

ISBN 10:  354016488X ISBN 13:  9783540164883
Publisher: Springer, 1986
Softcover