Relational Reasoning for Markov Chains in a Probabilistic Guarded Lambda Calculus

Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

Documents

DOI

    Alejandro Aguirre, IMDEA Software Institute, Gilles Barthe, IMDEA Software Institute,
  • Lars Birkedal
  • Aleš Bizjak
  • Marco Gaboardi, University at Buffalo State University of New York, Deepak Garg, MPI-SWS, Saarbruecken
Original languageEnglish
Title of host publication27th European Symposium on Programming, ESOP 2018
EditorsAmal Ahmed
Number of pages28
PublisherSpringer VS
Publication year18 Apr 2018
Pages214-241
ISBN (print)9783319898834
DOIs
StatePublished - 18 Apr 2018
EventETAPS 2018 - Thessaloniki, Greece
Duration: 14 Apr 201820 Apr 2018
https://www.etaps.org/

Conference

ConferenceETAPS 2018
LandGreece
ByThessaloniki
Periode14/04/201820/04/2018
Internetadresse
SeriesLecture Notes in Computer Science (LNCS)
Number10801
ISSN0302-9743

See relations at Aarhus University Citationformats

ID: 123471792