Rule formats for determinism and idempotence
Artikel i vetenskaplig tidskrift, 2012
Determinism
Structural operational semantics
Idempotence
Rule formats
Författare
Luca Aceto
Reykjavik University
Arnar Birgisson
Chalmers, Data- och informationsteknik, Programvaruteknik
Anna Ingolfsdottir
Reykjavik University
MohammadReza Mousavi
Technische Universiteit Eindhoven
Michel A. Reniers
Technische Universiteit Eindhoven
Science of Computer Programming
0167-6423 (ISSN)
Vol. 77 7-8 889-907Ämneskategorier
Datavetenskap (datalogi)
DOI
10.1016/j.scico.2010.04.002