Sequential calculus

DOI10.1016/0020-0190(94)00205-DzbMath0875.68202MaRDI QIDQ674261

Burghard von Karger, C. A. R. Hoare

Publication date: 28 February 1997

Published in: Information Processing Letters (Search for Journal in Brave)

zbMATH Keywords

Real-time systemsSpecification languagesProgramming calculi

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Related Items

Duration calculus: Logical foundations, Complexity of equations valid in algebras of relations. II: Finite axiomatizations, An algebraic approach to temporal logic, Relation algebras as expanded FL-algebras, Sequential calculus, Assertions and recursions, Unifying theories of reactive design contracts, On the antisymmetry of Galois embeddings

Cites Work

• Sequential calculus
• A calculus of durations
• Unnamed Item
• Unnamed Item
• Unnamed Item