Suchergebnisse - Breugel, Franck van

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

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

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

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

Weitere beteiligte Personen: “… Breugel, Franck van 1966- …”

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

Weitere beteiligte Personen: “… Breugel, Franck van 1966- …”
Online lesen
Inhaltsverzeichnis

Mathematical techniques for analyzing concurrent and probabilistic systems

von Rutten, J. J. M. M., Kwiatkowska, Marta, Norman, Gethin

Weitere beteiligte Personen: “… Breugel, Franck van …”