Browsing by Author Abela, Patrick
Showing results 5 to 6 of 6
< previous
Issue Date | Title | Author(s) |
---|---|---|
2012 | Safer asynchronous runtime monitoring using compensations | Colombo, Christian; Pace, Gordon J.; Abela, Patrick |
2007 | Transactional CSP processes | Cassar, Gail; Abela, Patrick |