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

(16)

• Order-sorted model theory for temporal executable specifications
• ConGolog, a concurrent programming language based on the situation calculus
• BDI-modelling of complex intracellular dynamics
• Semantics of temporal classes
• METATEM
• MetateM: An introduction
• Analysis of meeting protocols by formalisation, simulation, and verification
• JavaLog: a framework-based integration of Java and Prolog for agent-oriented programming
• Reactive computing as model generation
• scientific article; zbMATH DE number 803798 (Why is no real title available?)
• Temporal agent programs
• Abductive logic programming agents with destructive databases
• Linear-time temporal answer set programming
• Implementing metcast in Scheme
• Reasoning about interaction protocols for customizing web service selection and composition
• Verification of distributed systems with the axiomatic system of MSVL

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)