Semantics of Systems of Concurrent Processes
This volume is the proceedings of a 1990 Spring School devoted to the semantics of concurrency. Surveys and tutorials introduce the subject to novices and students and give updates of the state of the art, and research papers present recent achievements in the field.
| ISBN: | 9783540534792 |
|---|---|
| Sprache: | Englisch |
| Seitenzahl: | 457 |
| Produktart: | Kartoniert / Broschiert |
| Herausgeber: | Guessarian, Irene |
| Verlag: | Springer Berlin |
| Veröffentlicht: | 28.11.1990 |
| Untertitel: | LITP Spring School on Theoretical Computer Science, La Roche Posay, France, April 23–27, 1990 Proceedings |
| Schlagworte: | Bisimulation Equivalence Nebenläufigkeit Parallelität Semantik Verteilte Prozesse commutative property computability concurrency logic |