@inbook{dbaf64ae8c7c46d0a7ba54e2b9e404f6,
title = "A Homogeneous Actor-Based Monitor Language for Adaptive Behaviour",
abstract = "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 histories. We define a monitor language based on linear temporal logic and show how it can be homogeneously embedded within an actor language. The approach is demonstrated through a number of examples and evaluated in terms of a real-world actor-based simulation.",
author = "Tony Clark and Vinay Kulkarni and Souvik Barat and Barn, {Balbir S.}",
note = "{\textcopyright} Springer Nature B.V. 2018. The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-030-00302-9_8",
year = "2018",
month = sep,
day = "7",
doi = "10.1007/978-3-030-00302-9_8",
language = "English",
isbn = "978-3-030-00301-2",
volume = "10789",
series = "Programming with Actors",
publisher = "Springer",
pages = "216--244",
editor = "Alessandro ricci and Philipp Haller",
booktitle = "Programming with Actors",
address = "Germany",
}