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.

Moment Semantics for Reversible Rule-Based Systems

Vincent Danos, Tobias Heindel, Ricardo Honorato-Zimmer, Sandro Stucki. Moment Semantics for Reversible Rule-Based Systems. In Jean Krivine, Jean-Bernard Stefani, editors, Reversible Computation - 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings. Volume 9138 of Lecture Notes in Computer Science, pages 3-26, Springer, 2015. [doi]

Authors

Vincent Danos

This author has not been identified. Look up 'Vincent Danos' in Google

Tobias Heindel

This author has not been identified. Look up 'Tobias Heindel' in Google

Ricardo Honorato-Zimmer

This author has not been identified. Look up 'Ricardo Honorato-Zimmer' in Google

Sandro Stucki

This author has not been identified. Look up 'Sandro Stucki' in Google
runs on