Paradigms of Concurrency: Observations, Behaviours, and Systems ― a Petri Net View: 1020 (Studies in Computational Intelligence, 1020) - Image 1

£100.00

Springer Paradigms of Concurrency: Observations, Behaviours, and Systems ― a Petri Net View: 1020 (Studies in Computational Intelligence, 1020)

Name: Paradigms of Concurrency: Observations, Behaviours, and Systems a Petri Net View: 1020 (Studies in Computational Intelligence, 1020)
Brand: Springer
Price: 100.0 GBP
Availability: InStock

AI & Machine Learning

It has never been this cheap. We have no record of a lower price.

£100 today · cheaper than every other day in the last 3 months

NEW HERE?

Amazon shows you one price. We show you all of them.

Tosheroon watches Amazon prices so you don't have to. Every product on Amazon has a price history — we make it visible. Set the price you'd actually pay, and we'll email you the second it gets there. No app, no account, one email.

WHAT'S ON THIS PAGE

↓ Price chart
when this has been cheap or pricey

↓ Forecast
where the price is heading next

↓ Statistics
all-time high & low, recent range

↑ Price alert
name your number, we'll email you

Price History & Forecast

Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.

Last 77 days · 77 data points (no recent data)

Historical

Generating forecast…

Price Distribution

Price distribution over 77 days • 2 price levels

Days at Price

Current Price

Price Analysis

Most common price: £100 (41 days, 53.2%)

Price range: £100 - £106

Price levels: 2 different prices over 77 days

Description

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.

Product Specifications

Brand: Springer
Format: hardcover
ASIN: 3662648199
Category: Books > Subjects > Computing & Internet > Computer Science > AI & Machine Learning
Domain: Amazon UK
Release Date: 07 June 2022
Listed Since: 03 December 2021

Barcode

No barcode data available

Springer Paradigms of Concurrency: Observations, Behaviours, and Systems ― a Petri Net View: 1020 (Studies in Computational Intelligence, 1020)

It has never been this cheap. We have no record of a lower price.

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Transactions on Petri Nets and Other Models of Concurrency XVII: 14150 (Lecture Notes in Computer Science, 14150)

Transactions on Petri Nets and Other Models of Concurrency XVI: 13220 (Lecture Notes in Computer Science, 13220)

Petri Nets: Theoretical Models and Analysis Methods for Concurrent Systems

Software Synthesis for Energy-Constrained Hard Real-Time Systems: A Petri net-based approach

Networking and Parallel/Distributed Computing Systems Vol 18

Networking and Parallel/Distributed Computing Systems: Volume 20 (Studies in Computational Intelligence, 1250)

Springer Intelligent Systems Design and Applications Vol 5

Accentuated Innovations in Cognitive Info-Communication: 16 (Topics in Intelligent Engineering and Informatics, 16)

Self-Timed Control of Concurrent Processes: The Design of Aperiodic Logical Circuits in Computers and Discrete Systems: 52 (Mathematics and its Applications, 52)

Concurrency, Specification and Programming: Revised Selected Papers from the 29th International Workshop on Concurrency, Specification and Programming (CS&P'21), Berlin, Germany

Declarative Models of Concurrent Cyclic Processes: 438 (Studies in Systems, Decision and Control, 438)

Declarative Models of Concurrent Cyclic Processes: 438 (Studies in Systems, Decision and Control, 438)

Performance Evaluation Models for Distributed Service Networks: 343 (Studies in Systems, Decision and Control, 343)

Ten Lectures on Event Structure in a Network Theory of Language: 20 (Distinguished Lectures in Cognitive Linguistics, 20)

Syntactic Networks―Kernel Memory Approach: 1157 (Studies in Computational Intelligence, 1157)

Exploring Contextualism and Performativity: The Environment Matters: 30 (Perspectives in Pragmatics, Philosophy & Psychology, 30)

Organisationaler Wandel von Wissenschaftsorganisationen: Eine performativitätstheoretische Perspektive: 30 (Organisation und Pädagogik, 30)

Risks and Resilience of Collaborative Networks: 16th IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2015, Albi, France,, October 5-7, ... and Communication Technology, 463)

ICT for Intelligent Systems: Proceedings of ICTIS 2025, Volume 10: 1510 (Lecture Notes in Networks and Systems, 1510)

Algorithms and Computational Techniques Applied to Industry: 435 (Studies in Systems, Decision and Control, 435)

Structural Methods in the Study of Complex Systems: 482 (Lecture Notes in Control and Information Sciences, 482)

Frontiers of Computing Systems Research: Essays on Emerging Technologies, Architectures, and Theories: 2

Program Dependences, Slicing, and Verification: Accurate and Scalable Approaches for Concurrent Object Oriented Programs

Principle of Petri Nets