Skip to main navigation Skip to search Skip to main content

Divide and Congruence II: Delay and Weak Bisimilarity

Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-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 2016 → 8 Jul 2016

Conference

Conference31st Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2016
Country/TerritoryUnited States
CityNew York
Period5/07/16 → 8/07/16

Cite this