Marisa Venturini Zilli
Springer Berlin Heidelberg
1987e druk, 1987
9783540184195
Mathematical Models for the Semantics of Parallelism
Advanced School. Rome, Italy, September 24 - October 1, 1986. Proceedings
Specificaties
Paperback, 236 blz.
|
Engels
Springer Berlin Heidelberg |
1987e druk, 1987
ISBN13: 9783540184195
Rubricering
Onderdeel van serie
Lecture Notes in Computer Science
Verwachte levertijd ongeveer 9 werkdagen
Samenvatting
The papers collected in this volume are most of the material presented at the Advanced School on Mathematical Models for the Semantics of Parallelism, held in Rome, September 24- October 1, 1986. The need for a comprehensive and clear presentation of the several semantical approaches to parallelism motivated the stress on mathematical models, by means of which comparisons among different approaches can also be performed in a perspicuous way.
Specificaties
ISBN13:9783540184195
Taal:Engels
Bindwijze:paperback
Aantal pagina's:236
Uitgever:Springer Berlin Heidelberg
Druk:1987
Hoofdrubriek:Programmeren, Computer en informatica
Inhoudsopgave
Testing equivalences for event structures.- Designing equivalent semantic models for process creation.- An outline of the SMoLCS approach.- Views of distributed systems.- CCS is an (augmented) contact free C/E system.- Linear logic and parallelism.- Universal models in categories for process synchronization.- On axiomatic defintion of max-model of concurrency.