Temporal reasoning about actor programs

DOI10.1007/BFB0023929MaRDI QIDQ4366597zbMATH OpenFDO

Authors Susanne Schacht, Udo Hahn

Publication date 19 November 1997

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BFB0023929

zbMATH Keywords

reasoning about actor programstemporal logic

Mathematics Subject Classification ID

Logic in computer science (03B70)

Recommendations

• Formal reasoning about actor programs using temporal logic
• Towards a proof-theoretic foundation for actor specification and verification
• 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)

• Logics for actor networks: a case study in constrained hybridization
• Time analysis of actor programs
• Formal reasoning about actor programs using temporal logic
• A program refinement framework supporting reasoning about knowledge and time. (Preliminary report)
• Reasoning about actions with Temporal Answer Sets
• Temporal logic based static analysis for non-uniform behaviours.

This page was built for publication: Temporal reasoning about actor programs

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