Publication:3593502
From MaRDI portal
zbMath1121.68023MaRDI QIDQ3593502
Publication date: 20 July 2007
Related Items
Unnamed Item, Decidability and syntactic control of interference, Nondeterminism and Observable Sequentiality