Skip to Main content Skip to Navigation
Reports

Concrete Semantics of Programs with Non-Deterministic and Random Inputs

Assalé Adje 1 Jean Goubault-Larrecq 1
1 LSV - Laboratoire Spécification et Vérification
Document type :
Reports
Complete list of metadata
https://hal.inria.fr/hal-03189970
Contributor : Jean Goubault-Larrecq <>
Submitted on : Monday, April 5, 2021 - 5:15:57 PM
Last modification on : Wednesday, April 7, 2021 - 3:35:15 AM

Links full text

arxiv

Identifiers

  • HAL Id : hal-03189970, version 1
  • ARXIV : 1210.2605

Collections

CNRS | LARA | ENS-CACHAN | ENS-PARIS-SACLAY

Citation

Assalé Adje, Jean Goubault-Larrecq. Concrete Semantics of Programs with Non-Deterministic and Random Inputs. [Research Report] LSV, ENS Cachan. 2012. ⟨hal-03189970⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

14

 

Contact                    Legal Notice                    Personal Data