An Algebraic Framework for Defining Behaviours of Concurrent Systems. Part 1: The Constructive Presentation

DOI10.3233/FI-2009-199MaRDI QIDQ3400541zbMATHOpenAlexFDO

Authors Józef Winkowski

Publication date 5 February 2010

Published in Fundamenta Informaticae (Search for Journal in Brave)

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

zbMATH Keywords

sequential compositionparallel compositionrandom behaviourpartial monoidpartial category

Mathematics Subject Classification ID

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

Recommendations

• An algebraic framework for defining behaviours of concurrent systems. II: The axiomatic presentation
• scientific article; zbMATH DE number 4062568
• Algebraic specification of concurrent systems
• scientific article; zbMATH DE number 3898214
• An algebraic framework for defining random concurrent behaviours
• scientific article; zbMATH DE number 1435981
• An algebra of concurrent non-deterministic processes

Cited in

(16)

• The 4C Spectrum of Fundamental Behavioral Relations for Concurrent Systems
• Port automata and the algebra of concurrent porcesses
• Towards a framework for modelling systems with rich internal structures of states and processes
• scientific article; zbMATH DE number 3846853 (Why is no real title available?)
• An algebra of behavioural types
• Algebraic specification of concurrent systems
• scientific article; zbMATH DE number 3862421 (Why is no real title available?)
• scientific article; zbMATH DE number 3924146 (Why is no real title available?)
• Behaviour algebras
• Multiplicative transition systems
• scientific article; zbMATH DE number 4050965 (Why is no real title available?)
• An algebraic framework for defining random concurrent behaviours
• An algebraic framework for defining behaviours of concurrent systems. II: The axiomatic presentation
• Toward an algebraic theory of systems
• scientific article; zbMATH DE number 4064457 (Why is no real title available?)
• scientific article; zbMATH DE number 17833 (Why is no real title available?)

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

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