Science of Computer Programming, Volume 80

Volume 80, Part A, February 2014

Special section on foundations of coordination languages and software architectures (selected papers from FOCLASA'10) Special section - Brazilian Symposium on Programming Languages (SBLP 2010) Special section on formal methods for industrial critical systems (Selected papers from FMICS'11)

Volume 80, Part B, February 2014

a service of Schloss Dagstuhl - Leibniz Center for Informatics