Logic Meets Algebra: Compositional Timing Analysis for Synchronous Reactive Multithreading - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Michael Mendler, Joaquín Aguado, Bruno Bodin, Partha S. Roop, Reinhard von Hanxleden. Logic Meets Algebra: Compositional Timing Analysis for Synchronous Reactive Multithreading. In Tiziana Margaria, Susanne Graf, Kim G. Larsen, editors, Models, Mindsets, Meta: The What, the How, and the Why Not? - Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday. Volume 11200 of Lecture Notes in Computer Science, pages 45-67, Springer, 2018. [doi]

This author has not been identified. Look up 'Michael Mendler' in GoogleThis author has not been identified. Look up 'Joaquín Aguado' in GoogleThis author has not been identified. Look up 'Bruno Bodin' in GoogleThis author has not been identified. Look up 'Partha S. Roop' in GoogleThis author has not been identified. Look up 'Reinhard von Hanxleden' in Google

runs on WebDSL