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 2013 · cs.PLShow all

1 paper · 2 filters

cs.PL2013

Proceedings Combined 20th International Workshop on Expressiveness in Concurrency and 10th Workshop on Structural Operational Semantics

Johannes Borgström, Bas Luttik

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