An algebraic description of system behaviours

DOI10.1016/0304-3975(82)90079-2MaRDI QIDQ1168736zbMATH OpenOpenAlexFDO

Authors Józef Winkowski

Publication date 1982

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0304-3975(82)90079-2

zbMATH Keywords

concurrency of processescondition-event systemsdiscrete systemspartial algebra of labelled partially ordered setsrelationships between processessets of processes generated by systems

Mathematics Subject Classification ID

Theory of operating systems (68N25) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Theory of computing (68Q99)

Cites work

• Behaviours of concurrent systems
• scientific article; zbMATH DE number 3677208 (Why is no real title available?)
• scientific article; zbMATH DE number 3688732 (Why is no real title available?)

Cited in

(8)

• An algebraic characterization of independence of Petri net processes
• An algebra of processes
• Concurrent transition systems
• Process languages and nets
• Calculi of net structures and sets are similar
• An extension of the notions of traces and of asynchronous automata
• Unifying Petri nets with restricted occurrence rule using partial algebra
• Petri nets are monoids

This page was built for publication: An algebraic description of system behaviours

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1168736)