External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Bisimulations Up-to: Beyond First-Order Transition Systems

Jean-Marie Madiot, Damien Pous, Davide Sangiorgi. Bisimulations Up-to: Beyond First-Order Transition Systems. In Paolo Baldan, Daniele Gorla, editors, CONCUR 2014 - Concurrency Theory - 25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014. Proceedings. Volume 8704 of Lecture Notes in Computer Science, pages 93-108, Springer, 2014. [doi]

Authors

Jean-Marie Madiot

This author has not been identified. Look up 'Jean-Marie Madiot' in Google

Damien Pous

This author has not been identified. Look up 'Damien Pous' in Google

Davide Sangiorgi

This author has not been identified. Look up 'Davide Sangiorgi' in Google
runs on