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.

An adequate while-language for stochastic hybrid computation

Renato Neves, José Proença, Juliana Souza. An adequate while-language for stochastic hybrid computation. In Malgorzata Biernacka, Carlos Olarte, Francesco Ricca, James Cheney, editors, Proceedings of the 27th International Symposium on Principles and Practice of Declarative Programming, PPDP 2025, Rende, Italy, September 10-11, 2025. ACM, 2025. [doi]

Authors

Renato Neves

This author has not been identified. Look up 'Renato Neves' in Google

José Proença

This author has not been identified. Look up 'José Proença' in Google

Juliana Souza

This author has not been identified. Look up 'Juliana Souza' in Google
runs on