An Algebraic Framework for Defining Behaviours of Concurrent Systems. Part 2: The Axiomatic Presentation (Q5189647)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: An Algebraic Framework for Defining Behaviours of Concurrent Systems. Part 2: The Axiomatic Presentation |
scientific article; zbMATH DE number 5680031
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | An Algebraic Framework for Defining Behaviours of Concurrent Systems. Part 2: The Axiomatic Presentation |
scientific article; zbMATH DE number 5680031 |
Statements
An Algebraic Framework for Defining Behaviours of Concurrent Systems. Part 2: The Axiomatic Presentation (English)
0 references
10 March 2010
0 references
process
0 references
state
0 references
sequential composition
0 references
parallel composition
0 references
category
0 references
partial category
0 references
partial monoid
0 references
independence
0 references
structure
0 references
behaviour
0 references
random behaviour
0 references
