scientific article; zbMATH DE number 1536572

zbMATH Open0949.68532MaRDI QIDQ4518441FDOQ4518441

Authors:

Publication date: 28 November 2000

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

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

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)

Cited In (14)

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

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)