An Algebraic Framework for Defining Behaviours of Concurrent Systems. Part 1: The Constructive Presentation
From MaRDI portal
Publication:3400541
DOI10.3233/FI-2009-199zbMATH Open1189.68082OpenAlexW1702410795MaRDI QIDQ3400541FDOQ3400541
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
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 (14)
- An algebraic framework for defining random concurrent behaviours
- An algebra of behavioural types
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- The 4C Spectrum of Fundamental Behavioral Relations for Concurrent Systems
- Algebraic specification of concurrent systems
- Title not available (Why is that?)
- Title not available (Why is that?)
- Towards a framework for modelling systems with rich internal structures of states and processes
- Port automata and the algebra of concurrent porcesses
- Behaviour algebras
- An algebraic framework for defining behaviours of concurrent systems. II: The axiomatic presentation
- Title not available (Why is that?)
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)
