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.

Bibliographic Information

Book Title: Mathematical Models for the Semantics of Parallelism
Book Subtitle: Advanced School. Rome, Italy, September 24 - October 1, 1986. Proceedings
Editors: Marisa Venturini Zilli
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/3-540-18419-8
Publisher: Springer Berlin, Heidelberg
eBook Packages: Springer Book Archive
Copyright Information: Springer-Verlag Berlin Heidelberg 1987
Softcover ISBN: 978-3-540-18419-5Published: 07 October 1987
eBook ISBN: 978-3-540-47960-4Published: 30 June 2005
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: VIII, 236
Topics: Logics and Meanings of Programs, Computation by Abstract Devices, Programming Techniques, Mathematical Logic and Foundations

Publish with us

Policies and ethics

Mathematical Models for the Semantics of Parallelism

Overview

Access this book

Other ways to access

Table of contents (8 papers)

Front Matter

Back Matter

Keywords

About this book

Bibliographic Information

Publish with us

Search

Navigation