scientific article; zbMATH DE number 590996
From MaRDI portal
Publication:4296298
zbMath0806.68041MaRDI QIDQ4296298
E. P. de Vink, J. W. de Bakker
Publication date: 19 June 1994
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)
Related Items (3)
Metric Semantics and Full Abstractness for Action Refinement and Probabilistic Choice ⋮ The semantics of the combination of atomized statements and parallel choice ⋮ Action Refinement in Process Algebra and Security Issues
This page was built for publication:
