scientific article; zbMATH DE number 1182731
From MaRDI portal
Publication:4400803
zbMath0905.03015MaRDI QIDQ4400803
Grit Denker, Hans-Dieter Ehrich, Carlos Caleiro, Amílcar Sernadas
Publication date: 2 August 1998
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
communicationconcurrencyhigh-level specificationdistributed information systemsinformation system specificationdistributed temporal logics
Database theory (68P15) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Other applications of logic (03B80)
Related Items
Uses Software