001447414 000__ 03305cam\a2200553\a\4500
001447414 001__ 1447414
001447414 003__ OCoLC
001447414 005__ 20230310004117.0
001447414 006__ m\\\\\o\\d\\\\\\\\
001447414 007__ cr\un\nnnunnun
001447414 008__ 220611s2022\\\\gw\\\\\\ob\\\\001\0\eng\d
001447414 019__ $$a1329424315
001447414 020__ $$a9783662648216$$q(electronic bk.)
001447414 020__ $$a3662648210$$q(electronic bk.)
001447414 020__ $$z3662648199
001447414 020__ $$z9783662648193
001447414 0247_ $$a10.1007/978-3-662-64821-6$$2doi
001447414 035__ $$aSP(OCoLC)1328136560
001447414 040__ $$aEBLCP$$beng$$epn$$cEBLCP$$dGW5XE$$dYDX$$dEBLCP$$dOCLCF$$dN$T$$dOCLCQ
001447414 049__ $$aISEA
001447414 050_4 $$aQA267
001447414 08204 $$a511.3/5$$223/eng/20220616
001447414 1001_ $$aJanicki, Ryszard.
001447414 24510 $$aParadigms of concurrency :$$bobservations, behaviours, and systems -- a Petri Net view /$$cRyszard Janicki, Jetty Kleijn, Maciej Koutny, Łukasz Mikulski.
001447414 260__ $$aBerlin, Germany :$$bSpringer,$$c2022.
001447414 300__ $$a1 online resource (328 pages)
001447414 336__ $$atext$$btxt$$2rdacontent
001447414 337__ $$acomputer$$bc$$2rdamedia
001447414 338__ $$aonline resource$$bcr$$2rdacarrier
001447414 4901_ $$aStudies in Computational Intelligence ;$$vv. 1020
001447414 504__ $$aIncludes bibliographical references and index.
001447414 5050_ $$aIntroduction -- Preliminaries -- Semantical Domains -- Concurrency Traces.
001447414 506__ $$aAccess limited to authorized users.
001447414 520__ $$aParadigms 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.
001447414 588__ $$aOnline resource; title from PDF title page (SpringerLink, viewed June 16, 2022).
001447414 650_0 $$aPetri nets.
001447414 650_0 $$aComputer multitasking.
001447414 655_0 $$aElectronic books.
001447414 7001_ $$aKleijn, Jetty.
001447414 7001_ $$aKoutny, Maciej,$$d1958-
001447414 7001_ $$aMikulski, Lukasz.
001447414 77608 $$iPrint version:$$aJanicki, Ryszard.$$tParadigms of Concurrency.$$dBerlin, Heidelberg : Springer Berlin / Heidelberg, ©2022$$z9783662648193
001447414 830_0 $$aStudies in computational intelligence ;$$vv. 1020.
001447414 852__ $$bebk
001447414 85640 $$3Springer Nature$$uhttps://univsouthin.idm.oclc.org/login?url=https://link.springer.com/10.1007/978-3-662-64821-6$$zOnline Access$$91397441.1
001447414 909CO $$ooai:library.usi.edu:1447414$$pGLOBAL_SET
001447414 980__ $$aBIB
001447414 980__ $$aEBOOK
001447414 982__ $$aEbook
001447414 983__ $$aOnline
001447414 994__ $$a92$$bISE