scientific article
From MaRDI portal
Publication:4028626
zbMath0765.68113MaRDI QIDQ4028626
Ferdinando Lucidi, Tommaso Bolognesi
Publication date: 28 March 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Theory of programming languages (68N15) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (3)
Timed process calculi with deterministic or stochastic delays: commuting between durational and durationless actions ⋮ Parallel Processes with Real-Time and Data: The ATLANTIF Intermediate Format ⋮ TIC: a tImed calculus
Uses Software
This page was built for publication:
