Rule formats for bounded nondeterminism in structural operational semantics? ´ Luca Aceto, Alvaro Garc´ıa-P´erez, and Anna Ing´olfsd´ottir ICE-TCS, School of Computer Science, Reykjav´ık University,

First Page		Document Content
Date: 2015-09-25 06:01:23		Rule formats for bounded nondeterminism in structural operational semantics? ´ Luca Aceto, Alvaro Garc´ıa-P´erez, and Anna Ing´olfsd´ottir ICE-TCS, School of Computer Science, Reykjav´ık University, Add to Reading List Source URL: www.icetcs.ru.is Download Document from Source Website File Size: 377,55 KB Share Document on Facebook