ToolBus
From MaRDI portal
Software:14586
No author found.
Related Items (7)
Semi-automatic grammar recovery ⋮ Discrete time process algebra with abstraction ⋮ Discrete time process algebra ⋮ Axiomatizations for the perpetual loop in process algebra ⋮ The discrete time TOOLBUS. -- A software coordination architecture ⋮ CASL: the Common Algebraic Specification Language. ⋮ Distributing the Workload in a Lazy Theorem-Prover
This page was built for software: ToolBus
