Semantics of Systems of Concurrent Processes: LITP Spring School on Theoretical Computer Science, La Roche Posay, France, April 23-27, 1990 Proceedings - Lecture Notes in Computer Science 469 (Paperback)
  • Semantics of Systems of Concurrent Processes: LITP Spring School on Theoretical Computer Science, La Roche Posay, France, April 23-27, 1990 Proceedings - Lecture Notes in Computer Science 469 (Paperback)
zoom

Semantics of Systems of Concurrent Processes: LITP Spring School on Theoretical Computer Science, La Roche Posay, France, April 23-27, 1990 Proceedings - Lecture Notes in Computer Science 469 (Paperback)

(editor)
£72.00
Paperback 457 Pages / Published: 28/11/1990
  • We can order this

Usually despatched within 3 weeks

  • This item has been added to your basket
This volume contains the proceedings of the 1990 Spring School of Theoretical Computer Science, devoted to the semantics of concurrency. The papers are of two kinds: - surveys and tutorials introducing the subject to novices and students and giving updates of the state of the art, - research papers presenting recent achievements in the semantics of concurrency. The contributions explicate the connections, similarities and differences between various approaches to the semantics of concurrency, such as pomsets and metric semantics, event structures, synchronization trees, fixpoints and languages, traces, CCS and Petri nets, and categorical models. They also cover and compare the various notions of observation and bisimulation equivalences, logics for concurrency, and applications to dis- tributed systems.

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN: 9783540534792
Number of pages: 457
Weight: 840 g
Dimensions: 244 x 170 x 24 mm
Edition: 1990 ed.

You may also be interested in...

The Lattice Boltzmann Equation
Added to basket
How to Think About Algorithms
Added to basket
The Algorithm Design Manual
Added to basket
£55.07
Mixed media product
The Elements of Statistical Learning
Added to basket
Foundation Mathematics
Added to basket
Bayesian Methods for Hackers
Added to basket
Discrete Mathematics
Added to basket
Cryptanalysis
Added to basket
MATLAB Demystified
Added to basket
£21.99
Paperback
A First Course in Coding Theory
Added to basket
Networks
Added to basket
£52.00
Hardback
Data Analysis with Open Source Tools
Added to basket
The End of Error
Added to basket
Sets, Logic and Maths for Computing
Added to basket

Reviews

Please sign in to write a review

Your review has been submitted successfully.