Paradigms of concurrency : observations, behaviours, and systems -- a Petri Net view / Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Łukasz Mikulski.
2022
QA267
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
3662648210 (electronic bk.)
3662648199
9783662648193
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.
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
All Resources
Table of Contents
Introduction
Preliminaries
Semantical Domains
Concurrency Traces.
Preliminaries
Semantical Domains
Concurrency Traces.