The following pages link to ToolBus (Q14586):
Displaying 7 items.
- The discrete time TOOLBUS. -- A software coordination architecture (Q1818361) (← 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)
- Axiomatizations for the perpetual loop in process algebra (Q4571987) (← links)
- Semi-automatic grammar recovery (Q4791063) (← links)
- Discrete time process algebra with abstraction (Q5055876) (← links)