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.

This entry was posted in Uncategorized and tagged . Bookmark the permalink.

Leave a Reply