Decompositional reasoning about the history of parallel processes
Paper i proceeding, 2012
Författare
Luca Aceto
Reykjavik University
Arnar Birgisson
Chalmers, Data- och informationsteknik, Programvaruteknik
Anna Ingolfsdottir
Reykjavik University
MohammadReza Mousavi
Technische Universiteit Eindhoven
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
03029743 (ISSN) 16113349 (eISSN)
Vol. 7141 LNCS 32-47978-364229319-1 (ISBN)
Ämneskategorier
Programvaruteknik
DOI
10.1007/978-3-642-29320-7_3
ISBN
978-364229319-1