Behaviours of concurrent systems
type: Item
instance of: scholarly article
title: Behaviours of concurrent systems
zbMATH Open document ID: 0445.68044
DOI: 10.1016/0304-3975(80)90004-3
published in: Theoretical Computer Science
publication date: 1980-01-01T00:00:00Z
Mathematics Subject Classification ID: 68Q85
Mathematics Subject Classification ID: 93A10
zbMATH DE Number: 3696511
zbMATH Keywords: behaviours
zbMATH Keywords: concurrent systems
zbMATH Keywords: Petri net
zbMATH Keywords: processes
author: Józef Winkowski
MaRDI profile type: Publication
full work available at URL: 0304-3975(80)90004-3
OpenAlex ID: W2050298454
cites work: Q4133144
cites work: An algebraic characterization of the behaviour of non-sequential systems
description: scientific article; zbMATH DE number 3696511