ToolBus

MaRDI QIDQ14586swMATHFDO

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

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