Temporal semantics for concurrent METATEM

DOI10.1006/JSCO.1996.0069MaRDI QIDQ679336zbMATH OpenOpenAlexFDO

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

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)

Recommendations

• scientific article; zbMATH DE number 994050
• scientific article; zbMATH DE number 176158
• 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

Cited in

(6)

• Formal semantics of meta-level architectures: Temporal epistemic reflection
• Operational semantics of Framed Tempura
• Temporal agent programs
• Mechanising first-order temporal resolution
• Agent-oriented modeling of the dynamics of biological organisms
• scientific article; zbMATH DE number 1536572 (Why is no real title available?)

Describes a project that uses

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)