Divide and Congruence II: Delay and Weak Bisimilarity

Wan Fokkink, Rob van Glabbeek

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Original languageEnglish
Title of host publicationProceedings of the 31st Annual ACM-IEEE Symposium on Logic in Computer Science, LICS 2016
PublisherInstitute of Electrical and Electronics Engineers, Inc.
Pages778-787
Number of pages10
Volume05-08-July-2016
ISBN (Electronic)978-1-4503-4391-6
DOIs
Publication statusPublished - 5 Jul 2016
Event31st Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2016 - New York, United States
Duration: 5 Jul 20168 Jul 2016

Conference

Conference31st Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2016
CountryUnited States
CityNew York
Period5/07/168/07/16

Cite this