ToolBus

MaRDI QIDQ14586swMATHFDO

Official website https://link.springer.com/chapter/10.1007%2F3-540-61052-9_40

Cited in

(10)

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

This page was built for software: ToolBus