scientific article; zbMATH DE number 1476493

zbMATH Open0945.68195MaRDI QIDQ4490359FDOQ4490359

Authors: Urban Engberg 

Publication date: 14 July 2000

Title of this publication is not available (Why is that?)

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

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)

Cited In (4)

• Title not available (Why is that?)
• Automated temporal reasoning about reactive systems
• Reasoning about actions with Temporal Answer Sets
• Formal specification and verification

Uses Software

• HOL
• Nuprl

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)