Browsing by Subject Computer multitasking
Showing results 1 to 20 of 20
Issue Date | Title | Author(s) |
2009 | Assessing design patterns for concurrency | Leguesse, Fikre; Francalanza, Adrian |
2014 | Compositional reasoning for explicit resource management in channel-based concurrency | Francalanza, Adrian; Devries, Edsko; Hennessy, Matthew |
2004 | Counter-example generation in symbolic abstract model-checking | Pace, Gordon J.; Halbwachs, Nicolas; Raymond, Pascal |
2011 | Elarva : runtime verification for message passing concurrency | Gatt, Rudolph (2011) |
2017 | A foundation for runtime monitoring | Francalanza, Adrian; Aceto, Luca; Achilleos, Antonis; Attard, Duncan Paul; Cassar, Ian; Della Monica, Dario; Ingólfsdóttir, Anna |
2018-12 | Full-abstraction for client testing preorders | Bernardi, Giovanni; Francalanza, Adrian |
2017 | Full-abstraction for must testing preorders | Bernardi, Giovanni; Francalanza, Adrian |
2010 | Intuitive transformation of UML2 activities into fundamental modeling concept petri nets and colored petri nets | Spiteri Staines, Tony |
2021 | The MILO-switch task : comparing online and app-based assessment | Borg, Shanice (2021) |
2007 | Model checking concurrent assembly algorithms | Cordina, Joseph; Fenech, Stephen; Pace, Gordon J. |
2017 | Monitorability for the Hennessy-Milner logic with recursion | Francalanza, Adrian; Aceto, Luca; Ingólfsdóttir, Anna |
2021 | On benchmarking for concurrent runtime verification | Aceto, Luca; Attard, Duncan Paul; Francalanza, Adrian; Ingólfsdóttir, Anna |
2018 | Ordinary petri net matrices | Spiteri Staines, Tony |
2011 | Reasoning about explicit resource management | Devries, Edsko; Francalanza, Adrian; Hennessy, Matthew |
2012-11 | Separation-based reasoning for deterministic channel-passing concurrent programs | Borda, Aimee; Francalanza, Adrian |
2021 | Session types in Elixir | Tabone, Gerard; Francalanza, Adrian |
2018 | Simulating a formally specified message based concurrent language | Said Camilleri, Mark |
2017 | Towards an alternate characterisation of the actor safety preorder | Caruana, Caroline |
2009 | Uniqueness typing for resource management in message-passing concurrency | Devries, Edsko; Francalanza, Adrian; Hennessy, Matthew |
2015 | Unlocking blocked communicating processes | Francalanza, Adrian; Giunti, Marco; Ravara, António |