Pages that link to "Item:Q2912693"

The following pages link to Coalgebraic Trace Semantics for Probabilistic Transition Systems Based on Measure Theory (Q2912693):

Displaying 1 item.

• ``Keep definition, change category'' -- a practical approach to state-based system calculi (Q299180) (← links)