Sequential calculus

DOI10.1016/0020-0190(94)00205-DzbMATH Open0875.68202MaRDI QIDQ674261FDOQ674261

Authors: Burghard von Karger, Tony Hoare 

Publication date: 28 February 1997

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

Recommendations

• An algebraic approach to temporal logic
• Towards a design calculus for CSP
• Nonrepresentable sequential algebras
• A calculational approach to reactive systems

zbMATH Keywords

Real-time systemsSpecification languagesProgramming calculi

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Cites Work

• Title not available (Why is that?)
• A calculus of durations
• Title not available (Why is that?)
• Title not available (Why is that?)
• Sequential calculus

Cited In (11)

• On the antisymmetry of Galois embeddings
• Complexity of equations valid in algebras of relations. II: Finite axiomatizations
• Unifying theories of reactive design contracts
• Title not available (Why is that?)
• Assertions and recursions
• Duration calculus: Logical foundations
• Relation algebras as expanded FL-algebras
• Title not available (Why is that?)
• An algebraic approach to temporal logic
• Sequential calculus
• CIRCAL and the representation of communication, concurrency, and time

This page was built for publication: Sequential calculus

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q674261)