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., I. Ţ. uţu, A. Lopes, and D. Pavlovic
Conference NameInternational Workshop on Dynamic Logic
PublisherSpringer