author = { Caltais, Georgiana AND Meyer, Bertrand },

title = { On the verification of SCOOP programs },

keywords = { Alias analysis , Rewriting logic , Operational semantics , SCOOP , Deadlock detection },

year = {2017},

abstract = {Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.},

booktitle = {Science of Computer Programming. 2017, 133(2), pp. 194-215. ISSN 0167-6423. eISSN 1872-7964. Available under: doi:10.1016/j.scico.2016.08.005},

url = { http://slubdd.de/katalog?TN_libero_mab2 }