Pages that link to "Item:Q1084850"
From MaRDI portal
The following pages link to Top-down design and the algebra of communicating processes (Q1084850):
Displaying 10 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)
- Denotational engineering (Q1825025) (← links)
- Top-down design within a functional environment (Q3330481) (← links)
- Embedding Untimed into Timed Process Algebra; the Case for Explicit Termination (Q4917024) (← links)
- Non-regular iterators in process algebra (Q5958616) (← links)