scientific article; zbMATH DE number 1536572

MaRDI QIDQ4518441zbMATH OpenFDO

Authors

Publication date 28 November 2000

Mathematics Subject Classification ID

Theory of programming languages (68N15) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Temporal semantics for concurrent METATEM
• Executable temporal logic systems
• scientific article; zbMATH DE number 1809625
• MetateM: An introduction
• scientific article; zbMATH DE number 4052975

Cited in

(14)

• JavaLog: a framework-based integration of Java and Prolog for agent-oriented programming
• Temporal agent programs
• Verification of distributed systems with the axiomatic system of MSVL
• Implementing metcast in Scheme
• Analysis of meeting protocols by formalisation, simulation, and verification
• METATEM
• Reasoning about interaction protocols for customizing web service selection and composition
• Semantics of temporal classes
• Abductive logic programming agents with destructive databases
• BDI-modelling of complex intracellular dynamics
• Reactive computing as model generation
• Order-sorted model theory for temporal executable specifications
• ConGolog, a concurrent programming language based on the situation calculus
• MetateM: An introduction

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 Q4518441)