Mathematical Models for the Semantics of Parallelism

Beschreibung

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.

Autor*in

Marisa Venturini Zilli

Themen in »Mathematical Models for the Semantics of Parallelism«

Equivalence concurrency distributed systems logic parallelism semantics

Stimmen zu »Mathematical Models for the Semantics of Parallelism«

Details

Link teilen