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.

Capturing Stochastic and Real-Time Behavior in Reo Connectors

Yi Li, Xiyue Zhang, Yuanyi Ji, Meng Sun. Capturing Stochastic and Real-Time Behavior in Reo Connectors. In Simone André da Costa Cavalheiro, José Luiz Fiadeiro, editors, Formal Methods: Foundations and Applications - 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 - December 1, 2017, Proceedings. Volume 10623 of Lecture Notes in Computer Science, pages 287-304, Springer, 2017. [doi]

Authors

Yi Li

This author has not been identified. Look up 'Yi Li' in Google

Xiyue Zhang

This author has not been identified. Look up 'Xiyue Zhang' in Google

Yuanyi Ji

This author has not been identified. Look up 'Yuanyi Ji' in Google

Meng Sun

This author has not been identified. Look up 'Meng Sun' in Google
runs on