scientific article; zbMATH DE number 1090097

MaRDI QIDQ4366597zbMATH OpenFDO

Authors Susanne Schacht, Udo Hahn

Publication date 19 November 1997

zbMATH Keywords

temporal logicreasoning about actor programs

Mathematics Subject Classification ID

Logic in computer science (03B70)

Recommendations

• scientific article; zbMATH DE number 1686285
• scientific article; zbMATH DE number 1490021
• Temporal logic based static analysis for non-uniform behaviours.
• scientific article; zbMATH DE number 1231550
• Proving correctness of timed concurrent constraint programs

Cited in

(6)

• Temporal logic based static analysis for non-uniform behaviours.
• Logics for actor networks: a case study in constrained hybridization
• Reasoning about actions with Temporal Answer Sets
• Time analysis of actor programs
• scientific article; zbMATH DE number 1686285 (Why is no real title available?)
• scientific article; zbMATH DE number 1512613 (Why is no real title available?)

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 Q4366597)