Source author record

Jean Goubault-Larrecq

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Logic in Computer Science math.GN Formal Languages and Automata Theory Programming Languages

Catalog footprint

Research overview

5works

4topics

3close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2020arXiv

Probabilistic Powerdomains and Quasi-Continuous Domains

The probabilistic powerdomain $\mathbf V X$ on a space $X$ is the space of all continuous valuations on $X$ . We show that, for every quasi-continuous domain $X$ , $\mathbf V X$ is again a quasi-continuous domain, and that the Scott and weak topologies then agree on $\mathbf V X$ . This also applies to the subspaces of probability and subprobability valuations on $X$ . We also show that the Scott and weak topologies on the $\mathbf V X$ may differ when $X$ is not quasi-continuous, and we give a simple, compact Hausdorff counterexample.

preprint2018arXiv

Convergence without points

We introduce a pointfree theory of convergence on lattices and coframes. A convergence lattice is a lattice $L$ with a monotonic map $\lim_L$ from the lattice of filters on $L$ to $L$ , meant to be an abstract version of the map sending every filter of subsets to its set of limits. This construction exhibits the category of convergence spaces as a coreflective subcategory of the opposite of the category of convergence lattices. We extend this construction to coreflections between limit spaces and the opposite of so-called limit lattices and limit coframes, between pretopological convergence spaces and the opposite of so-called pretopological convergence coframes, between adherence spaces and the opposite of so-called adherence coframes, between topological spaces and the opposite of so-called topological coframes. All of our pointfree categories are complete and cocomplete, and topological over the category of coframes. Our final pointfree category, that of topological coframes, shares with the category of frames the property of being in a dual adjunction with the category of topological spaces. We show that the latter arises as a retract of the former, and that this retraction restricts to a reflection between frames and so-called strong topological coframes.

preprint2012arXiv

Concrete Semantics of Programs with Non-Deterministic and Random Inputs

This document gives semantics to programs written in a C-like programming language, featuring interactions with an external environment with noisy and imprecise data.

preprint2012arXiv

Forward Analysis for WSTS, Part II: Complete WSTS

We describe a simple, conceptual forward analysis procedure for infinity-complete WSTS S. This computes the so-called clover of a state. When S is the completion of a WSTS X, the clover in S is a finite description of the downward closure of the reachability set. We show that such completions are infinity-complete exactly when X is an omega-2-WSTS, a new robust class of WSTS. We show that our procedure terminates in more cases than the generalized Karp-Miller procedure on extensions of Petri nets and on lossy channel systems. We characterize the WSTS where our procedure terminates as those that are clover-flattable. Finally, we apply this to well-structured counter systems.

preprint2012arXiv

QRB-Domains and the Probabilistic Powerdomain

Is there any Cartesian-closed category of continuous domains that would be closed under Jones and Plotkin's probabilistic powerdomain construction? This is a major open problem in the area of denotational semantics of probabilistic higher-order languages. We relax the question, and look for quasi-continuous dcpos instead. We introduce a natural class of such quasi-continuous dcpos, the omega-QRB-domains. We show that they form a category omega-QRB with pleasing properties: omega-QRB is closed under the probabilistic powerdomain functor, under finite products, under taking bilimits of expanding sequences, under retracts, and even under so-called quasi-retracts. But... omega-QRB is not Cartesian closed. We conclude by showing that the QRB domains are just one half of an FS-domain, merely lacking control.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Jean Goubault-Larrecq

Research overview

Is this your work?

5 publications

Probabilistic Powerdomains and Quasi-Continuous Domains

Convergence without points

Concrete Semantics of Programs with Non-Deterministic and Random Inputs

Forward Analysis for WSTS, Part II: Complete WSTS

QRB-Domains and the Probabilistic Powerdomain

See the researcher in context

Building this map preview