scientific article
From MaRDI portal
Publication:3795188
zbMath0649.68011MaRDI QIDQ3795188
Joost N. Kok, Jan J. M. M. Rutten
Publication date: 1988
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
operational semanticsunique fixed pointcontractionsconcurrent imperative languagedenotational semantic models
Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (6)
Denotational semantics in the cpo and metric approach ⋮ Metric semantics for concurrency ⋮ Issues in the design of a parallel object-oriented language ⋮ Comparative metric semantics for concurrent PROLOG ⋮ Four domains for concurrency ⋮ Comparative semantics for flow of control in logic programming without logic
This page was built for publication:
