scientific article
From MaRDI portal
Publication:4035233
zbMath0777.68060MaRDI QIDQ4035233
Roberto Gorrieri, Pierpaolo Degano
Publication date: 18 May 1993
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 (4)
A reduced maximality labeled transition system generation for recursive Petri nets ⋮ Calculi of net structures and sets are similar ⋮ On hierarchically developing reactive systems ⋮ The semantics of the combination of atomized statements and parallel choice
This page was built for publication: