References

  1. Marco Carbone & Fabrizio Montesi (2012): Merging Multiparty Protocols in Multiparty Choreographies. In: PLACES, EPTCS 109, pp. 21–27, doi:10.4204/EPTCS.109.4.
  2. Ganesh Gopalakrishnan, Robert M. Kirby, Stephen F. Siegel, Rajeev Thakur, William Gropp, Ewing L. Lusk, Bronis R. de Supinski, Martin Schulz & Greg Bronevetsky (2011): Formal Analysis of MPI-based Parallel Programs. Communications of the ACM 54(12), pp. 82–91, doi:10.1145/2043174.2043194.
  3. William Gropp, Ewing Lusk & Anthony Skjellum (1999): Using MPI (2nd Ed.): Portable Parallel Programming with the Message-passing Interface. MIT Press.
  4. Per Brinch Hansen (1991): The N-Body Pipeline. Electrical Engineering and Computer Science Technical Reports Paper 120. College of Engineering and Computer Science, Syracuse University.
  5. Kohei Honda, Nobuko Yoshida & Marco Carbone (2016): Multiparty Asynchronous Session Types. J. ACM 63(1), pp. 9:1–9:67, doi:10.1145/2827695.
  6. Julien Lange & Alceste Scalas (2013): Choreography Synthesis as Contract Agreement. In: ICE, EPTCS 131, pp. 52–67, doi:10.4204/EPTCS.131.6.
  7. Hugo A. López, Eduardo R. B. Marques, Francisco Martins, Nicholas Ng, César Santos, Vasco Thudichum Vasconcelos & Nobuko Yoshida (2015): Protocol-based Verification of Message-passing Parallel Programs. In: OOPSLA. ACM, pp. 280–298, doi:10.1145/2814270.2814302.
  8. Patrick Maxim Rondon, Ming Kawaguchi & Ranjit Jhala (2008): Liquid Types. In: POPL. ACM, pp. 159–169, doi:10.1145/1375581.1375602.
  9. Vasco Thudichum Vasconcelos, Francisco Martins, Eduardo R. B. Marques, Nobuko Yoshida & Nicholas Ng (2017): Behavioural Types: From Theory to Practice, chapter Deductive Verification of MPI Protocols. River Publishers.
  10. Niki Vazou, Patrick Maxim Rondon & Ranjit Jhala (2013): Abstract Refinement Types. In: Programming Languages and Systems - 22nd European Symposium on Programming, ESOP 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings, LNCS 7792. Springer, pp. 209–228, doi:10.1007/978-3-642-37036-6_13.
  11. Hongwei Xi & Frank Pfenning (1999): Dependent Types in Practical Programming. In: POPL. ACM, pp. 214–227, doi:10.1145/292540.292560.
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org