Generalized ultrametric spaces completion, topology, and powerdomains via the Yoneda embedding von Bonsangue, Marcello

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.

Generalized metric spaces: completion, topology, and powerdomains via the Yoneda embedding von Bonsangue, Marcello

Isomorphisms between predicate and state transformers von Bonsangue, Marcello M., Kok, Joost N.

Isomorphisms between predicate and state transformers von Bonsangue, Marcello

Semantics, orderings and recursion in the weakest precondition calculus von Bonsangue, Marcello

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

Weitere Verfasser:
Volltext öffnen Volltext öffnen

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

Weitere Verfasser:
Volltext öffnen Volltext öffnen

It's all about coordination essays to celebrate the lifelong scientific achievements of Farhad Arbab

Weitere Verfasser:
Volltext öffnen Volltext öffnen

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

Weitere Verfasser:
Volltext öffnen Volltext öffnen

Coalgebraic methods in computer science

Weitere Verfasser: “… Bonsangue, Marcello …”

Distributed computing techniques [... Ninth IFIP International Conference on Formal Methods for Open Object-based Distributed Systems (FMOODS'07) and the Ninth International Confer...

Weitere Verfasser: “… Bonsangue, Marcello M. …”