scientific article
From MaRDI portal
Publication:3358716
zbMath0732.03024MaRDI QIDQ3358716
Rocco De Nicola, Gian-Luigi Ferrari
Publication date: 1990
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
bisimulationconcurrencyobservational equivalenceprogram logicsinterleaving approachpartial ordering observations
Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Logic in computer science (03B70)
Related Items (5)
Deriving Inverse Operators for Modal Logic ⋮ Characterising spectra of equivalences for event structures, logically ⋮ Local Model Checking in a Logic for True Concurrency ⋮ Translations between modal logics of reactive systems ⋮ Characterizing right inverses for spatial constraint systems with applications to modal logic
This page was built for publication:
