Suchergebnisse - Bonsangue, Marcello M.

Generalized ultrametric spaces: completion, topology, and powerdomains via the Yoneda embedding

von Bonsangue, Marcello M., Breugel, Franck van, Rutten, Jan J.

Semantics, orderings and recursion in the weakest precondition calculus

von Bonsangue, Marcello M., Kok, Joost N.

Isomorphisms between predicate and state transformers

von Bonsangue, Marcello M., Kok, Joost N.

Theoretical aspects of computing - ICTAC 2024: 21st international colloquium, Bangkok, Thailand, November 25–29, 2024, proceedings

Weitere beteiligte Personen: “… Bonsangue, Marcello M. …”
Online lesen

Data Science and Artificial Intelligence: Second International Conference, DSAI 2024, Medan, Indonesia, November 13–15, 2024, Proceedings

Weitere beteiligte Personen: “… Bonsangue, Marcello M. …”
Online lesen

Data Science and Artificial Intelligence: First International Conference, DSAI 2023, Bangkok, Thailand, November 27–29, 2023, Proceedings

Weitere beteiligte Personen: “… Bonsangue, Marcello M. …”

Distributed computing techniques: [... Ninth IFIP International Conference on Formal Methods for Open Object-based Distributed Systems (FMOODS'07) and the Ninth International Conference on Coordination Models and Languages (Coordination'07), were part of the federated conferences on Distributed Computing Techniques (DisCoTec'07), held in Paphos, Cyprus, June 5 - 8, 2007]

Weitere beteiligte Personen: “… Bonsangue, Marcello M. …”