An alternative approach to non-black-box simulation in fully concurrent setting

From MaRDI portal
Publication:5261633