An algebraic approach to temporal logic

DOI10.1007/3-540-59293-8_198zbMath1496.03137OpenAlexW1593441695MaRDI QIDQ5096734

Burghard von Karger

Publication date: 18 August 2022

Published in: TAPSOFT '95: Theory and Practice of Software Development (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-59293-8_198

Mathematics Subject Classification ID

Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)

Cites Work

• Sequential calculus
• Specification-oriented semantics for communicating processes
• A calculus of durations
• On the calculus of relations
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: An algebraic approach to temporal logic