Browsing by Subject Calculus -- Computer programs
Showing results 1 to 5 of 5
Issue Date | Title | Author(s) |
2013 | Distributed system contract monitoring | Francalanza, Adrian; Gauci, Andrew; Pace, Gordon J. |
2023 | Exploring bidirectional typing for the Semi-Axiomatic sequent calculus | Borg, Benjamin (2023) |
1998 | Hardware design based on Verilog HDL | Pace, Gordon J. |
2015 | On verifying Hennessy-Milner logic with recursion at runtime | Francalanza, Adrian; Aceto, Luca; Ingólfsdóttir, Anna |
2005 | Source-level runtime validation through interval temporal logic | D’Emanuele, Karlston; Pace, Gordon J. |