Rule formats for bounded nondeterminism in structural operational semantics Luca Aceto Álvaro García-Pérez

First Page		Document Content
Date: 2016-05-31 08:08:10		Rule formats for bounded nondeterminism in structural operational semantics Luca Aceto Álvaro García-Pérez Add to Reading List Source URL: babel.ls.fi.upm.es Download Document from Source Website File Size: 332,19 KB Share Document on Facebook