scientific article; zbMATH DE number 683342
From MaRDI portal
Publication:4312458
zbMath0941.68621MaRDI QIDQ4312458
Francesca Rossi, Ugo Montanari
Publication date: 29 July 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Semantics in the theory of computing (68Q55) Logic programming (68N17)
Related Items (2)
Decidability of infinite-state timed CCP processes and first-order LTL ⋮ A general theory of action languages
This page was built for publication:
