scientific article; zbMATH DE number 1536572
From MaRDI portal
Publication:4518441
zbMath0949.68532MaRDI QIDQ4518441
No author found.
Publication date: 28 November 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Theory of programming languages (68N15) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (12)
Reactive computing as model generation ⋮ Reasoning about interaction protocols for customizing web service selection and composition ⋮ Order-sorted model theory for temporal executable specifications ⋮ Verification of distributed systems with the axiomatic system of MSVL ⋮ Abductive logic programming agents with destructive databases ⋮ Analysis of meeting protocols by formalisation, simulation, and verification ⋮ JavaLog: a framework-based integration of Java and Prolog for agent-oriented programming ⋮ Temporal agent programs ⋮ BDI-modelling of complex intracellular dynamics ⋮ METATEM ⋮ ConGolog, a concurrent programming language based on the situation calculus ⋮ Semantics of temporal classes
This page was built for publication:
