Proving the correctness of reactive systems using sized types (1996)

by John Hughes , Lars Pareto , Amr Sabry
Citations:120 - 2 self

Document Versions

Proving the correctness of reactive systems using sized types –John Hughes, Lars Pareto, Amr Sabry — 1996
Proving the Correctness of Reactive Systems Using Sized Types –John Hughes, Lars Pareto, Amr Sabry — 1996
Proving the Correctness of Reactive Systems Using Sized Types –John Hughes, Lars Pareto, Amr Sabry — 1996
Proving the Correctness of Reactive Systems Using Sized Types –John Hughes, Lars Pareto, Amr Sabry — 1996