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 ListSource URL: www.icetcs.ru.isDownload Document from Source WebsiteFile Size: 377,55 KBShare Document on Facebook |