Pages that link to "Item:Q1818361"
From MaRDI portal
The following pages link to The discrete time TOOLBUS. -- A software coordination architecture (Q1818361):
Displaying 5 items.
- Flow approach to temporal-structural coordination of digital computing units and systems (Q1593989) (← links)
- CASL: the Common Algebraic Specification Language. (Q1853453) (← links)
- Discrete time process algebra (Q1914041) (← links)
- Distributing the workload in a lazy theorem-prover (Q2870323) (← links)
- Semi-automatic grammar recovery (Q4791063) (← links)