Pages that link to "Item:Q1084850"
From MaRDI portal
The following pages link to Top-down design and the algebra of communicating processes (Q1084850):
Displayed 7 items.
- Algebraic specification of concurrent systems (Q914405) (← links)
- Algebra of communicating processes with abstraction (Q1067408) (← links)
- On the consistency of Koomen's fair abstraction rule (Q1090103) (← links)
- Global renaming operators in concrete process algebra (Q1106660) (← links)
- Algebraic and functional specification of an interactive serializable database interface (Q1193602) (← links)
- On sequential composition, action prefixes and process prefix (Q1333405) (← links)
- Non-regular iterators in process algebra (Q5958616) (← links)