Browsing by Subject Machine theory
Showing results 1 to 15 of 15
| Issue Date | Title | Author(s) |
| 2014 | Compiling compensating automata | Borg, Dylan (2014) |
| 2015 | Conditional permissions in contracts | Pace, Gordon J.; Schapachnik, Fernando; Schneider, Gerardo |
| 2016 | Contract automata : an operational view of contracts between interactive parties | Azzopardi, Shaun; Pace, Gordon J.; Schapachnik, Fernando; Schneider, Gerardo |
| 2014 | Contract automata with reparations | Azzopardi, Shaun; Pace, Gordon J.; Schapachnik, Fernando |
| 2012 | Contracts for interacting two-party systems | Pace, Gordon J.; Schapachnik, Fernando |
| 2017 | Control-flow residual analysis for symbolic automata | Azzopardi, Shaun; Colombo, Christian; Pace, Gordon J. |
| 2012-11 | Dealing with the hypothetical in contracts | Pace, Gordon J. |
| 2021 | A DFA learning toolkit | Cherrett, Daniel (2021) |
| 2014 | Extending contract automata with reparation and hypothetical clauses | Azzopardi, Shaun (2014) |
| 2021 | Implementations of the state merging operator in DFA learning | Axisa, Matthew Jonathan (2021) |
| 2006 | Improving polygonal hybrid systems reachability analysis through the use of the phase portrait | Pace, Gordon J.; Schneider, Gerardo |
| 2004 | Merge interactions : a new heuristic for automata learning | Spina, Sandro (2004) |
| 2012-04 | Separating compensation concerns and programming them with compensating automata | Colombo, Christian; Pace, Gordon J. |
| 2010 | A simplified model of QuickCheck automata | Falzon, Kevin; Pace, Gordon J. |
| 2012 | Types of rights in interacting two-party systems : a formal analysis | Pace, Gordon J.; Schapachnik, Fernando |
