Protocol-based verification of message-passing parallel programs

Article Details
Title:	Protocol-based verification of message-passing parallel programs
Article URLs:	https://doi.org/10.1145/2814270.2814302
Alternative Article URLs:
Authors:	Hugo A. López	Technical University of Denmark
	Eduardo R. B. Marques	Universidade de Lisboa, LaSIGE
	Francisco Martins	Universidade de Lisboa, LaSIGE
	Nicholas Ng	Imperial College London
	César Santos	Universidade de Lisboa, LaSIGE
	Vasco Thudichum Vasconcelos	Universidade de Lisboa, LaSIGE
	Nobuko Yoshida	Imperial College London
Sharing:	Research produced artifacts
Verification:	Authors have verified information
Artifact Evaluation Badge:	Artifacts for some papers are reviewed by an artifact evaluation, reproducibility, or similarly named committee. This is one such paper that passed review. awarded
Artifact URLs:	http://rss.di.fc.ul.pt/tools/partypes/ https://dl.acm.org/ft_gateway.cfm?id=2814302&type=zip&path=%2F2820000%2F2814302%2Fsupp%2Fp280%2Dlopez%2Ds%2Ezip&supp=1&dwn=1
Artifact Correspondence Email Addresses:
NSF Award Numbers:
DBLP Key:	conf/oopsla/LopezMMNSVY15
Author Comments:

ACM SIGPLAN Intl. Conf. on OO Programming, Systems, Langs., and Apps., OOPSLA 2015