Peter Calvert, Alan Mycroft
Control Flow Analysis for the Join Calculus
SAS, 2012.
@inproceedings{SAS-2012-CalvertM, author = "Peter Calvert and Alan Mycroft", booktitle = "{Proceedings of the 19th International Static Analysis Symposium}", doi = "10.1007/978-3-642-33125-1_14", isbn = "978-3-642-33124-4", pages = "181--197", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{Control Flow Analysis for the Join Calculus}", volume = 7460, year = 2012, }