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

maintained by Schloss Dagstuhl LZI, founded at University of Trier