Work

Logic Meets Algebra: Compositional Timing Analysis for Synchronous Reactive Multithreading

Year: 2019

Type: conference-paper

Source: Lecture notes in computer science

DOI: 10.1007/978-3-030-22348-9_5

Authors: Michael Mendler, Joaquín Aguado, Bruno Bodin, Partha Roop, Reinhard von Hanxleden

Institutions: University of Bamberg, University of Edinburgh, University of Auckland, Christian-Albrechts-Universität zu Kiel

Language: English

Topic: Logic, programming, and type systems

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2954542115

FWCI: 0.096

Cites: 31

Cited by: 1

Related to: 10