[go: up one dir, main page]
Skip to main content
Springer Nature Link
Account

Paradigms of Concurrency

Observations, Behaviours, and Systems — a Petri Net View

  • Book
  • © 2022

Overview

Authors:
  1. Ryszard Janicki

    1. Department of Computing and Software, McMaster University, Hamilton, Canada

  2. Jetty Kleijn

    1. LIACS, Leiden University, Leiden, The Netherlands

  3. Maciej Koutny

    1. School of Computing, Newcastle University, Newcastle upon Tyne, UK

  4. Łukasz Mikulski

    1. Faculty of Mathematics and Computer Science, Nicolaus Copernicus University, Toruń, Poland

  • Presents system models fitting a number of concurrency paradigms and their associated causality structures
  • Studies fundamental mathematical abstractions to capture and relate observations, histories, and systems
  • Identifies different concurrency paradigms underpinned by different kinds of causality structures

Part of the book series: Studies in Computational Intelligence (SCI, volume 1020)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook EUR 128.39
Price includes VAT (France)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Hardcover Book EUR 168.79
Price includes VAT (France)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

About this book

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.

Explore related subjects

Discover the latest articles, books and news in related subjects.

Table of contents (11 chapters)

  1. Front Matter

    Pages i-xii
    Download chapter PDF

  2. Introduction

    • Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Łukasz Mikulski
    Pages 1-11

  3. Preliminaries

    • Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Łukasz Mikulski
    Pages 13-35

  4. Semantical Domains

    • Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Łukasz Mikulski
    Pages 37-75

  5. Concurrency Traces

    • Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Łukasz Mikulski
    Pages 77-99

  6. Elementary Net Systems

    • Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Łukasz Mikulski
    Pages 101-135

  7. Concurrency Paradigms

    • Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Łukasz Mikulski
    Pages 137-145

  8. General Structures

    • Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Łukasz Mikulski
    Pages 147-209

  9. Step Traces

    • Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Łukasz Mikulski
    Pages 211-241

  10. Elementary Net Systems with Activator and Mutex Arcs

    • Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Łukasz Mikulski
    Pages 243-275

  11. Subclasses of Step Traces

    • Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Łukasz Mikulski
    Pages 277-312

  12. Conclusions

    • Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Łukasz Mikulski
    Pages 313-317

  13. Back Matter

    Pages 319-326
    Download chapter PDF
Back to top

Reviews

“The book contains a thorough in-depth study of mathematical structures used in semantics of concurrency. … The book at hand takes the reader onto an in-depth journey of such structures used to give semantics to concurrent systems and their most important properties with regards to questions of expressiveness. … The book should be fairly accessible to an interested reader who is able to follow concise mathematical argumentation.” (Martin Lange, zbMATH 1503.68008, 2023)

Authors and Affiliations

  • Department of Computing and Software, McMaster University, Hamilton, Canada

    Ryszard Janicki

  • LIACS, Leiden University, Leiden, The Netherlands

    Jetty Kleijn

  • School of Computing, Newcastle University, Newcastle upon Tyne, UK

    Maciej Koutny

  • Faculty of Mathematics and Computer Science, Nicolaus Copernicus University, Toruń, Poland

    Łukasz Mikulski

Accessibility Information

Accessibility information for this book is coming soon. We're working to make it available as quickly as possible. Thank you for your patience.

Bibliographic Information

  • Book Title: Paradigms of Concurrency

  • Book Subtitle: Observations, Behaviours, and Systems — a Petri Net View

  • Authors: Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Łukasz Mikulski

  • Series Title: Studies in Computational Intelligence

  • DOI: https://doi.org/10.1007/978-3-662-64821-6

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Intelligent Technologies and Robotics, Intelligent Technologies and Robotics (R0)

  • Copyright Information: Springer-Verlag GmbH Germany, part of Springer Nature 2022

  • Hardcover ISBN: 978-3-662-64819-3Published: 07 June 2022

  • eBook ISBN: 978-3-662-64821-6Published: 06 June 2022

  • Series ISSN: 1860-949X

  • Series E-ISSN: 1860-9503

  • Edition Number: 1

  • Number of Pages: XII, 326

  • Number of Illustrations: 186 b/w illustrations, 8 illustrations in colour

  • Topics: Computational Intelligence, Artificial Intelligence

Keywords

Publish with us

Policies and ethics

Back to top