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.

A Canonical Algebra of Open Transition Systems

Elena Di Lavore, Alessandro Gianola, Mario Román, Nicoletta Sabadini, Pawel Sobocinski 0001. A Canonical Algebra of Open Transition Systems. In Gwen Salaün, Anton Wijs, editors, Formal Aspects of Component Software - 17th International Conference, FACS 2021, Virtual Event, October 28-29, 2021, Proceedings. Volume 13077 of Lecture Notes in Computer Science, pages 63-81, Springer, 2021. [doi]

Authors

Elena Di Lavore

This author has not been identified. Look up 'Elena Di Lavore' in Google

Alessandro Gianola

This author has not been identified. Look up 'Alessandro Gianola' in Google

Mario Román

This author has not been identified. Look up 'Mario Román' in Google

Nicoletta Sabadini

This author has not been identified. Look up 'Nicoletta Sabadini' in Google

Pawel Sobocinski 0001

This author has not been identified. Look up 'Pawel Sobocinski 0001' in Google
runs on