An Algebraic Framework for Defining Behaviours of Concurrent Systems. Part 2: The Axiomatic Presentation

DOI10.3233/FI-2009-210zbMATH Open1192.68452OpenAlexW1854727386MaRDI QIDQ5189647

Józef Winkowski

Publication date: 10 March 2010

Published in: Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3233/fi-2009-210

zbMATH Keywords

independencecategorystatebehaviourstructureprocesssequential compositionparallel compositionrandom behaviourpartial monoidpartial category

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (5)

Unnamed Item ⋮ Restrictions and representations of vector controlled concurrent system behaviours ⋮ Partial (set) 2-structures. II: State spaces of concurrent systems ⋮ The 4C Spectrum of Fundamental Behavioral Relations for Concurrent Systems ⋮ An Algebraic Framework for Defining Behaviours of Concurrent Systems. Part 1: The Constructive Presentation

This page was built for publication: An Algebraic Framework for Defining Behaviours of Concurrent Systems. Part 2: The Axiomatic Presentation