External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Composing Interfering Abstract Protocols

Filipe Militão, Jonathan Aldrich, Luís Caires. Composing Interfering Abstract Protocols. In Shriram Krishnamurthi, Benjamin S. Lerner, editors, 30th European Conference on Object-Oriented Programming, ECOOP 2016, July 18-22, 2016, Rome, Italy. Volume 56 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2016. [doi]

Authors

Filipe Militão

This author has not been identified. Look up 'Filipe Militão' in Google

Jonathan Aldrich

This author has not been identified. Look up 'Jonathan Aldrich' in Google

Luís Caires

This author has not been identified. Look up 'Luís Caires' in Google
runs on