Temporal semantics for concurrent METATEM

DOI10.1006/JSCO.1996.0069zbMATH Open0867.68048OpenAlexW2062171073MaRDI QIDQ679336FDOQ679336

Authors: Juan-Miguel Gracia 

Publication date: 7 August 1997

Published in: Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1006/jsco.1996.0069

Recommendations

• scientific article; zbMATH DE number 994050
• scientific article
• scientific article; zbMATH DE number 1754682
• scientific article; zbMATH DE number 3956422
• Multiple-valued semantics for metric temporal logic
• Semantics for temporal annotated constraint logic programming
• scientific article; zbMATH DE number 4085006
• Temporal theories as modularisation units for concurrent system specification
• Metric temporal logic with durations

zbMATH Keywords

complex reactive systemsconcurrent METATEM

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Modal logic (including the logic of norms) (03B45)

Cited In (6)

• Mechanising first-order temporal resolution
• Operational semantics of Framed Tempura
• Title not available (Why is that?)
• Temporal agent programs
• Formal semantics of meta-level architectures: Temporal epistemic reflection
• Agent-oriented modeling of the dynamics of biological organisms

Uses Software

• METATEM

This page was built for publication: Temporal semantics for concurrent METATEM

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