scientific article; zbMATH DE number 4049002

MaRDI QIDQ3785898zbMATH OpenFDO

Authors Fred Kröger

Publication date 1987

zbMATH Keywords

abstract data typesalgebraic specificationmodule abstractionreal-time systemstemporal logic

Mathematics Subject Classification ID

Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)

Recommendations

• Abstract implementation of algebraic specifications in a temporal logic language
• Temporal theories as modularisation units for concurrent system specification
• scientific article; zbMATH DE number 1303727
• scientific article; zbMATH DE number 873324
• scientific article; zbMATH DE number 3956412

Cited in

(3)

• Abstract implementation of algebraic specifications in a temporal logic language
• scientific article; zbMATH DE number 873324 (Why is no real title available?)
• On the interpretability of arithmetic in temporal logic

This page was built for publication:

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