Logics for Actor Networks: A Case Study in Constrained Hybridization

TitleLogics for Actor Networks: A Case Study in Constrained Hybridization
Publication TypeConference Paper
Year of Publication2017
AuthorsFiadeiro, J., uţu I. Ţ., Lopes A., & Pavlovic D.
Conference NameInternational Workshop on Dynamic Logic
PublisherSpringer