Decompositional reasoning about the history of parallel processes
Paper in proceeding, 2012
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
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)
Subject Categories
Software Engineering
DOI
10.1007/978-3-642-29320-7_3
ISBN
978-364229319-1