An Algebraic Framework for Defining Behaviours of Concurrent Systems. Part 2: The Axiomatic Presentation
type: Item
instance of: scholarly article
title: An Algebraic Framework for Defining Behaviours of Concurrent Systems. Part 2: The Axiomatic Presentation
zbMATH Open document ID: 1192.68452
DOI: 10.3233/FI-2009-210
author: Józef Winkowski
published in: Fundamenta Informaticae
publication date: 2010-03-10T00:00:00Z
Mathematics Subject Classification ID: 68Q85
zbMATH DE Number: 5680031
zbMATH Keywords: process
zbMATH Keywords: state
zbMATH Keywords: sequential composition
zbMATH Keywords: parallel composition
zbMATH Keywords: category
zbMATH Keywords: partial category
zbMATH Keywords: partial monoid
zbMATH Keywords: independence
zbMATH Keywords: structure
zbMATH Keywords: behaviour
zbMATH Keywords: random behaviour
MaRDI profile type: Publication
full work available at URL: fi-2009-210
OpenAlex ID: W1854727386
description: scientific article; zbMATH DE number 5680031