Paradigms of concurrency : observations, behaviours, and systems -- a Petri Net view / Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Łukasz Mikulski.
Janicki, Ryszard.; Kleijn, Jetty.; Koutny, Maciej, 1958-; Mikulski, Lukasz.
2022
QA267
Available Online

Linked e-resources

Linked Resource Online Access
Concurrent users Unlimited
Authorized users Authorized users
Document Delivery Supplied Can lend chapters, not whole ebooks

Details

Title Paradigms of concurrency : observations, behaviours, and systems -- a Petri Net view / Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Łukasz Mikulski.
Author Janicki, Ryszard.
ISBN 9783662648216 (electronic bk.)
3662648210 (electronic bk.)
3662648199
9783662648193
DOI https://doi.org/10.1007/978-3-662-64821-6
Publication Details Berlin, Germany : Springer, 2022.
Language English
Description 1 online resource (328 pages)
Item Number 10.1007/978-3-662-64821-6 doi
Call Number QA267
Dewey Decimal Classification 511.3/5
Summary Paradigms of Concurrency: Observations, Behaviours, and Systems - a Petri Net View - Ryszard Janicki (McMaster University, CA) Jetty Kleijn (Leiden University, NL) Maciej Koutny (Newcastle University, UK) Lukasz Mikulski (Nicolaus Copernicus University, PL) Concurrency can be studied at different yet consistent levels of abstraction: from individual behavioural observations via more abstract concurrent histories that can be represented by causality structures capturing invariant dependencies between executed actions, to system level constructs such as Petri nets or process algebra expressions. Histories can then be understood as sets of closely related observations. Depending on the nature of the observed relationships between executed actions involved in a single concurrent history, one may identify different concurrency paradigms underpinned by different kinds of causality structures such as partial orders. This book studies fundamental mathematical abstractions to capture and relate observations, histories, and systems. In particular, taking a Petri net view, we present system models fitting various concurrency paradigms and their associated causality structures.
Bibliography, etc. Note Includes bibliographical references and index.
Access Note Access limited to authorized users.
Source of Description Online resource; title from PDF title page (SpringerLink, viewed June 16, 2022).
Added Author Kleijn, Jetty.
Koutny, Maciej, 1958-
Mikulski, Lukasz.
Series Studies in computational intelligence ; v. 1020.
Available in Other Form Paradigms of Concurrency.
Linked Resources Online Access
Record Appears in Online Resources > Ebooks
All Resources
Introduction
Preliminaries
Semantical Domains
Concurrency Traces.

Browse Subjects

Show more subjects...

Statistics

from
to
Export