POPL 2016 (series) / PPS 2016 (series) / PPS 2016 /
Coalgebraic Trace Semantics for Probabilistic Processes: Preliminary Proposal
The one sentence summary of our proposal is to adapt ideas from coalgebraic semantics to the probabilistic setting, thereby obtaining intuitive semantics for probabilistic processes of various sorts.
Sat 23 JanDisplayed time zone: Guadalajara, Mexico City, Monterrey change
Sat 23 Jan
Displayed time zone: Guadalajara, Mexico City, Monterrey change