Cited in
(10)- CASL: the Common Algebraic Specification Language.
- Discrete time process algebra
- UniForM
- PL/I
- ToolMaker
- Semi-automatic grammar recovery
- The discrete time TOOLBUS. -- A software coordination architecture
- Discrete time process algebra with abstraction
- Distributing the workload in a lazy theorem-prover
- Axiomatizations for the perpetual loop in process algebra
This page was built for software: ToolBus
