scientific article; zbMATH DE number 1476493

MaRDI QIDQ4490359zbMATH OpenFDO

Authors Urban Engberg

Publication date 14 July 2000

zbMATH Keywords

concurrent algorithmstemporal logic of actions

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) Parallel algorithms in computer science (68W10)

Recommendations

• scientific article; zbMATH DE number 1361129
• The Expressive Power of Temporal Logic of Actions
• Reasoning about actions in dynamic linear time temporal logic
• scientific article; zbMATH DE number 1149417
• scientific article; zbMATH DE number 1249651
• A Real-time Semantics of Temporal Logic of Actions
• Specifying and verifying interaction protocols in a temporal action logic
• Reasoning about actions with Temporal Answer Sets
• scientific article; zbMATH DE number 140396

Cited in

(4)

• scientific article; zbMATH DE number 2185692 (Why is no real title available?)
• Automated temporal reasoning about reactive systems
• Reasoning about actions with Temporal Answer Sets
• Formal specification and verification

Describes a project that uses

Uses Software

• Nuprl
• HOL

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