scientific article; zbMATH DE number 1090097

zbMATH Open0885.03038MaRDI QIDQ4366597FDOQ4366597

Authors: Susanne Schacht, Udo Hahn 

Publication date: 19 November 1997

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

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

zbMATH Keywords

temporal logicreasoning about actor programs

Mathematics Subject Classification ID

Logic in computer science (03B70)

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