11 citations · 11 across the 2 of their papers we have counts for
2 papers
cs.LO2026
Kairos: Generating Tick-Indexed Proof Obligations for Synchronous Temporal Contracts
Frédéric Dabrowski
Requirements for synchronous programs relate observations across ticks, while general-purpose deductive backends use first-order conditions on local steps. Kairos is a prototype to…
cs.LO2007★ 11 cited
Feasible reactivity in a synchronous pi-calculus
Roberto Amadio, Frederique Dabrowski
Reactivity is an essential property of a synchronous program. Informally, it guarantees that at each instant the program fed with an input will `react' producing an output. In the…