Mathematical Models for the Semantics of Parallelism [electronic resource] : Advanced School Rome, Italy, September 24 – October 1, 1986 Proceedings / edited by Marisa Venturini Zilli.

Contributor(s): Zilli, Marisa Venturini [editor.] | SpringerLink (Online service)Material type: TextTextSeries: Lecture Notes in Computer Science ; 280Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1987Description: VIII, 236 p. online resourceContent type: text Media type: computer Carrier type: online resourceISBN: 9783540479604Subject(s): Computer science | Logic design | Logic, Symbolic and mathematical | Computer Science | Logics and Meanings of Programs | Computation by Abstract Devices | Programming Techniques | Mathematical Logic and FoundationsAdditional physical formats: Printed edition:: No titleDDC classification: 005.1015113 LOC classification: QA76.9.L63QA76.5913QA76.63Online resources: Click here to access online
Contents:
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.
In: Springer eBooksSummary: 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.
Item type: E-BOOKS
Tags from this library: No tags from this library for this title. Log in to add tags.
    Average rating: 0.0 (0 votes)
Current library Home library Call number Materials specified URL Status Date due Barcode
IMSc Library
IMSc Library
Link to resource Available EBK6249

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.

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.

There are no comments on this title.

to post a comment.
The Institute of Mathematical Sciences, Chennai, India

Powered by Koha