Journal of Systems and Software · 2015 · 28 citations · 18 references
ComputingCloud ComputingCloud ArchitectureCloud InfrastructureKnowledge ReuseApplication RefactoringCloud Migration ArchitectureCloud Resource ManagementSoftware ReuseService ReuseWorkload Portability
18
Michael Armbrust, Armando Fox, Rean Griffith et al. · Communications of the ACM · 2010 · 9K citations · Full text
Introduction to Bisimulation and Coinduction
Davide Sangiorgi · Cambridge University Press eBooks · 2011 · 308 citations