51 citations · 191 across the 20 of their papers we have counts for
4 papers · 2 filters
Liveness for Verification
Roly Perera, Simon J. Gay
We explore the use of liveness for interactive program verification for a simple concurrent object language. Our experimental IDE integrates two (formally dual) kinds of continuous…
Behavioural Prototypes
Roly Perera, Simon J. Gay
We sketch a simple language of concurrent objects which explores the design space between type systems and continuous testing. In our language, programs are collections of communic…
Multiparty Compatibility for Concurrent Objects
Roly Perera, Julien Lange, Simon J. Gay
Objects and actors are communicating state machines, offering and consuming different services at different points in their lifecycle. Two complementary challenges arise when progr…
Proceedings Eighth International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software
Simon Gay, Jade Alglave
PLACES 2015 (full title: Programming Language Approaches to Concurrency- and Communication-Centric Software) is the eighth edition of the PLACES workshop series. After the first PL…