The discrete time TOOLBUS. -- A software coordination architecture
From MaRDI portal
Publication:1818361
DOI10.1016/S0167-6423(97)00021-XzbMath0941.68010MaRDI QIDQ1818361
Publication date: 4 January 2000
Published in: Science of Computer Programming (Search for Journal in Brave)
Related Items (4)
Semi-automatic grammar recovery ⋮ Discrete time process algebra ⋮ CASL: the Common Algebraic Specification Language. ⋮ Distributing the Workload in a Lazy Theorem-Prover
Uses Software
This page was built for publication: The discrete time TOOLBUS. -- A software coordination architecture