scientific article; zbMATH DE number 794261
From MaRDI portal
Publication:4847022
zbMath0839.68112MaRDI QIDQ4847022
Christian Clausen, Mogens Nielsen
Publication date: 28 May 1996
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (5)
Characterising spectra of equivalences for event structures, logically ⋮ Undecidability of domino games and hhp-bisimilarity. ⋮ Local Model Checking in a Logic for True Concurrency ⋮ A Logic for True Concurrency ⋮ Logics and Bisimulation Games for Concurrency, Causality and Conflict
This page was built for publication:
