ArticleIssue Date2020Citation2020 IEEE 6th International Conference on Computer and Communications, ICCC 2020, pp.1224 - 1228PublisherInstitute of Electrical and Electronics Engineers Inc.
ArticleIssue Date2011CitationFormal Modeling: Actors; Open Systems, Biological Systems Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday, v.7000 LNCS, pp 90 - 109PublisherSpringer Verlag