Author Archives: Larry Moss

Coalgebraic Trace Semantics for Probabilistic Processes (Preliminary Proposal)

This is an abstract of a poster by Larry Moss,  and Chung-chieh Shan, and Alexandra Silva. 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. measures.

Posted in Uncategorized | Tagged | Comments Off on Coalgebraic Trace Semantics for Probabilistic Processes (Preliminary Proposal)