Dmitrii Drozdov, Sandeep Patil, Valeriy Vyatkin. Formal Modelling of Distributed Automation CPS with CP-Agnostic Software. In Theodor Borangiu, Damien Trentesaux, André Thomas, Paulo Leitão, José Barata Oliveira, editors, Service Orientation in Holonic and Multi-Agent Manufacturing - Proceedings of SOHOMA 2016, Lisbon, Portugal, October 6-7, 2016. Volume 694 of Studies in Computational Intelligence, pages 35-46, Springer, 2016. [doi]
Abstract is missing.