Article

Camporesi, Ferdinanda ; Feret, Jérôme ; Koeppl, Heinz ; Petrov, Tatjana (2024)
Combining Model Reductions.
In: Electronic Notes in Theoretical Computer Science, 2010, 265
doi: 10.26083/tuprints-00026719
Article, Secondary publication, Publisher's Version

Petrov, Tatjana ; Ganguly, Arnab ; Koeppl, Heinz (2024)
Model Decomposition and Stochastic Fragments.
In: Electronic Notes in Theoretical Computer Science, 2012, 284
doi: 10.26083/tuprints-00026720
Article, Secondary publication, Publisher's Version

Koeppl, Heinz ; Petrov, Tatjana (2024)
Stochastic Semantics of Signaling as a Composition of Agent-view Automata.
In: Electronic Notes in Theoretical Computer Science, 2011, 272
doi: 10.26083/tuprints-00026721
Article, Secondary publication, Publisher's Version