Susumu Yamasaki. Semantics and Algebra for Action Logic Monitoring State Transitions. In Oleg Yu. Gusikhin, Víctor Méndez Muñoz, Farshad Firouzi, Dan Mønster, Victor Chang 0001, editors, COMPLEXIS 2016 - Proceedings of the 2nd International Conference on Complexity, Future Information Systems and Risk, Porto, Portugal, April 24-26, 2017. pages 110-115, SciTePress, 2017. [doi]
Abstract is missing.