Blogs (9) >>
SPLASH 2016
Sun 30 October - Fri 4 November 2016 Amsterdam, Netherlands
Sun 30 Oct 2016 13:30 - 13:50 at Luzern - Work-in-progress Papers 1

This paper describes a structured approach to encoding monitors in an actor language. Within a configuration of actors, each of which publishes a history, a monitor is an independent actor that triggers an action based on patterns occurring in the actor histories. The paper defines a model of monitors using features of an actor language called ESL including time, static types and higher-order functions. An implementation of monitors is evaluated in the context of a simple case study based on competitive bidding.

Sun 30 Oct

agere2016
13:30 - 15:10: AGERE 2016 - Work-in-progress Papers 1 at Luzern
agere2016147783060000013:30 - 13:50
Talk
Tony Clark Middlesex University, London, Vinay Kulkarni, Souvik Barat, Balbir Barn
File Attached
agere2016147783180000013:50 - 14:10
Talk
Borja Arnau de Régil BasáñezIMDEA Software Institute, Christopher MeiklejohnUniversité catholique de Louvain
Pre-print File Attached
agere2016147783300000014:10 - 14:30
Talk
Tim CoppietersVrije Universiteit Brussel, Belgium, Joeri De KosterVrije Universiteit Brussel, Belgium, Wolfgang De MeuterVrije Universiteit Brussel, Belgium
File Attached
agere2016147783420000014:30 - 14:50
Talk
Takuo WatanabeTokyo Institute of Technology, Kensuke SawadaTokyo Institute of Technology, Japan
File Attached
agere2016147783540000014:50 - 15:10
Talk
Carmen Torres Lopez, Stefan MarrJohannes Kepler University Linz, Hanspeter MössenböckJKU Linz, Austria, Elisa Gonzalez BoixVrije Universiteit Brussel
Pre-print File Attached