ToolBus
From MaRDI portal
Software:14586
swMATH2041MaRDI QIDQ14586FDOQ14586
Author name not available (Why is that?)
Cited In (7)
- CASL: the Common Algebraic Specification Language.
- Discrete time process algebra
- Semi-automatic grammar recovery
- The discrete time TOOLBUS. -- A software coordination architecture
- Discrete time process algebra with abstraction
- Axiomatizations for the perpetual loop in process algebra
- Distributing the workload in a lazy theorem-prover
This page was built for software: ToolBus
