activity
20132020
most citedMeasure Transformer Semantics for Bayesian Machine Learning

31 citations · 45 across the 7 of their papers we have counts for

collaborators
Showing 2014Show all

1 paper · 1 filter

cs.LO2014

Proceedings Combined 21st International Workshop on Expressiveness in Concurrency and 11th Workshop on Structural Operational Semantics

Johannes Borgström, Silvia Crafa

This volume contains the proceedings of the Combined 21st International Workshop on Expressiveness in Concurrency and the 11th Workshop on Structural Operational Semantics (EXPRESS…