Structural Operational Semantics for Continuous State Stochastic Transition Systems

Giorgio Bacci, Marino Miculan

Research output: Contribution to journalJournal articleResearchpeer-review

10 Citations (Scopus)

Fingerprint

Dive into the research topics of 'Structural Operational Semantics for Continuous State Stochastic Transition Systems'. Together they form a unique fingerprint.

Mathematics

Computer Science

Keyphrases