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.

Aneris: A Mechanised Logic for Modular Reasoning about Distributed Systems

Morten Krogh-Jespersen, Amin Timany, Marit Edna Ohlenbusch, Simon Oddershede Gregersen, Lars Birkedal. Aneris: A Mechanised Logic for Modular Reasoning about Distributed Systems. In Peter Müller 0001, editor, Programming Languages and Systems - 29th European Symposium on Programming, ESOP 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings. Volume 12075 of Lecture Notes in Computer Science, pages 336-365, Springer, 2020. [doi]

Authors

Morten Krogh-Jespersen

This author has not been identified. Look up 'Morten Krogh-Jespersen' in Google

Amin Timany

This author has not been identified. It may be one of the following persons: Look up 'Amin Timany' in Google

Marit Edna Ohlenbusch

This author has not been identified. Look up 'Marit Edna Ohlenbusch' in Google

Simon Oddershede Gregersen

This author has not been identified. Look up 'Simon Oddershede Gregersen' in Google

Lars Birkedal

This author has not been identified. Look up 'Lars Birkedal' in Google
runs on