Comparative metric semantics of programming languages nondeterminism and recursion von Breugel, Franck van

Solving domain equations in a category of compact metric spaces von Breugel, Franck van

Solving domain equations in a category of compact metric spaces von Breugel, Franck van, Warmerdam, J. H.

Free metric domains of processes for bisimulation von Breugel, Franck van

Generalizing finiteness conditions of labelled transition systems von Breugel, Franck van

Three metric domains of processes for bisimulation von Breugel, Franck van

Generalized ultrametric spaces completion, topology, and powerdomains via the Yoneda embedding von Bonsangue, Marcello M., Breugel, Franck van, Rutten, Jan J.

Comparative semantics for linear arrays of communicating processes von Bakker, Jacobus W. de 1939-2012, Breugel, Franck van, Bruin, A. de

Relating state transformation semantics and predicate transformer semantics for parallel programs von Breugel, Franck van

Generalizing finiteness conditions of labelled transition systems von Breugel, Franck van

Topological models for higher order control flow von Bakker, Jacobus W. de 1939-2012, Breugel, Franck van

Relating state transformation semantics and predicate transformer semantics for parallel programs von Breugel, Franck van

Horizons of the Mind a Tribute to Prakash Panangaden ; Essays Dedicated to Prakash Panangaden on the Occasion of his 60th Birthday

Weitere Verfasser: “… Breugel, Franck van 1966- …”

Mathematical techniques for analyzing concurrent and probabilistic systems von Rutten, J. J. M. M., Kwiatkowska, Marta, Norman, Gethin

Weitere Verfasser: Volltext öffnen

Horizons of the mind a tribute to Prakash Panangaden ; essays dedicated to Prakash Panangaden on the occasion of his 60th birthday

Weitere Verfasser: “… Breugel, Franck van 1966- …”
Volltext öffnen