Mathematical Models for the Semantics of Parallelism

Mathematical Models for the Semantics of Parallelism
Author :
Publisher : Springer Science & Business Media
Total Pages : 244
Release :
ISBN-10 : 3540184198
ISBN-13 : 9783540184195
Rating : 4/5 (195 Downloads)

Book Synopsis Mathematical Models for the Semantics of Parallelism by : Marisa Venturini Zilli

Download or read book Mathematical Models for the Semantics of Parallelism written by Marisa Venturini Zilli and published by Springer Science & Business Media. This book was released on 1987-10-07 with total page 244 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.


Mathematical Models for the Semantics of Parallelism Related Books

Mathematical Models for the Semantics of Parallelism
Language: en
Pages: 244
Authors: Marisa Venturini Zilli
Categories: Computers
Type: BOOK - Published: 1987-10-07 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

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 R
Mathematical Models for the Semantics of Parallelism
Language: en
Pages: 236
Authors: Marisa Venturini Zilli
Categories: Computers
Type: BOOK - Published: 2014-03-12 - Publisher: Springer

DOWNLOAD EBOOK

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 R
Semantics of Parallelism
Language: en
Pages: 484
Authors: Michael W. Shields
Categories: Computers
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Semantics of Parallelism is the only book which provides a unified treatment of the non-interleaving approach to process semantics (as opposed to the interleavi
Ten Years of Concurrency Semantics
Language: en
Pages: 466
Authors: Jacobus Willem Bakker
Categories: Computers
Type: BOOK - Published: 1992 - Publisher: World Scientific

DOWNLOAD EBOOK

This collection of reprints describes a unified treatment of semantics, covering a wide range of notions in parallel languages. Included are several foundationa
Mathematical Logic
Language: en
Pages: 405
Authors: Petio P. Petkov
Categories: Mathematics
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Heyting'88 Summer School and Conference on Mathematical Logic, held September 13 - 23, 1988 in Chaika, Bulgaria, was honourably dedicated to Arend Heyting's 90t