- Tytuł:
- An Algebraic Framework for Defining Behaviours of Concurrent Systems. Part 2: The Axiomatic Presentation
- Autorzy:
- Winkowski, J.
- Data publikacji:
- 2009
- Słowa kluczowe:
-
process
state
sequential composition
parallel composition
category
partial category
partial monoid
independence
structure
behaviour
random behaviour - Pokaż więcej
- Dostawca treści:
- BazTech