Rule formats for determinism and idempotence
Journal article, 2012
Determinism
Structural operational semantics
Idempotence
Rule formats
Author
Luca Aceto
Reykjavik University
Arnar Birgisson
Chalmers, Computer Science and Engineering (Chalmers), Software Technology (Chalmers)
Anna Ingolfsdottir
Reykjavik University
MohammadReza Mousavi
Eindhoven University of Technology
Michel A. Reniers
Eindhoven University of Technology
Science of Computer Programming
0167-6423 (ISSN)
Vol. 77 7-8 889-907Subject Categories
Computer Science
DOI
10.1016/j.scico.2010.04.002