Pages that link to "Item:Q3400541"
From MaRDI portal
The following pages link to An Algebraic Framework for Defining Behaviours of Concurrent Systems. Part 1: The Constructive Presentation (Q3400541):
Displaying 6 items.
- An algebra of behavioural types (Q418153) (← links)
- Port automata and the algebra of concurrent porcesses (Q791319) (← links)
- Algebraic specification of concurrent systems (Q914405) (← links)
- Toward an algebraic theory of systems (Q1786609) (← links)
- Concurrency, modularity, and synchronization (Q3975177) (← links)
- The 4C Spectrum of Fundamental Behavioral Relations for Concurrent Systems (Q5166766) (← links)