{"id":51816,"date":"2020-08-04T14:00:00","date_gmt":"2020-08-04T12:00:00","guid":{"rendered":"https:\/\/www.um.edu.mt\/projects\/behapi\/?p=51816"},"modified":"2020-07-29T14:10:50","modified_gmt":"2020-07-29T12:10:50","slug":"probabilistic-analysis-of-binary-sessions","status":"publish","type":"post","link":"https:\/\/www.um.edu.mt\/projects\/behapi\/probabilistic-analysis-of-binary-sessions\/","title":{"rendered":"Probabilistic Analysis of Binary Sessions"},"content":{"rendered":"\n<p>As part of their secondments in the project, BehAPI work package leaders Hern\u00e1n Melgratti (University of Buenos Aires), Luca Padovani (University of Torino), and Emilio Tuosto (University of Leicester) have collaborated to produce their publication <em>Probabilistic Analysis of Binary Sessions<\/em>, along with Omar Inverso and Catia Trubiani. They carried out a study on a probabilistic variant of binary session types that relate to a class of Finite-State Markov Chains. This publication was accepted at <a href=\"https:\/\/concur2020.forsyte.at\/\">Concur2020<\/a>. <\/p>\n\n\n\n<p>The full paper can be found <a href=\"https:\/\/arxiv.org\/abs\/2007.11832\">here<\/a>.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>As part of their secondments in the project, BehAPI work package leaders Hern\u00e1n Melgratti (University of Buenos Aires), Luca Padovani (University of Torino), and Emilio Tuosto (University of Leicester) have<\/p>\n<div class=\"read-more\"><a class=\"btn read-more-link\" href=\"https:\/\/www.um.edu.mt\/projects\/behapi\/probabilistic-analysis-of-binary-sessions\/\">Read More<\/a><\/div>\n","protected":false},"author":18,"featured_media":51817,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"_acf_changed":false,"footnotes":""},"categories":[36],"tags":[],"acf":[],"_links":{"self":[{"href":"https:\/\/www.um.edu.mt\/projects\/behapi\/wp-json\/wp\/v2\/posts\/51816"}],"collection":[{"href":"https:\/\/www.um.edu.mt\/projects\/behapi\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.um.edu.mt\/projects\/behapi\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.um.edu.mt\/projects\/behapi\/wp-json\/wp\/v2\/users\/18"}],"replies":[{"embeddable":true,"href":"https:\/\/www.um.edu.mt\/projects\/behapi\/wp-json\/wp\/v2\/comments?post=51816"}],"version-history":[{"count":1,"href":"https:\/\/www.um.edu.mt\/projects\/behapi\/wp-json\/wp\/v2\/posts\/51816\/revisions"}],"predecessor-version":[{"id":51818,"href":"https:\/\/www.um.edu.mt\/projects\/behapi\/wp-json\/wp\/v2\/posts\/51816\/revisions\/51818"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.um.edu.mt\/projects\/behapi\/wp-json\/wp\/v2\/media\/51817"}],"wp:attachment":[{"href":"https:\/\/www.um.edu.mt\/projects\/behapi\/wp-json\/wp\/v2\/media?parent=51816"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.um.edu.mt\/projects\/behapi\/wp-json\/wp\/v2\/categories?post=51816"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.um.edu.mt\/projects\/behapi\/wp-json\/wp\/v2\/tags?post=51816"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}