scientific article; zbMATH DE number 1476493

zbMATH Open0945.68195MaRDI QIDQ4490359

Urban Engberg

Publication date: 14 July 2000

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

zbMATH Keywords

concurrent algorithmstemporal logic of actions

Mathematics Subject Classification ID

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

Related Items (1)

Reasoning about actions with Temporal Answer Sets

Uses Software

• HOL
• Nuprl

Recommendations

• Specifying and verifying interaction protocols in a temporal action logic 👍 👎
• Reasoning about actions in dynamic linear time temporal logic 👍 👎
• The Expressive Power of Temporal Logic of Actions 👍 👎
• A Real-time Semantics of Temporal Logic of Actions 👍 👎
• Reasoning about actions with Temporal Answer Sets 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎

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)