@prefix dcat: <http://www.w3.org/ns/dcat#> .
@prefix dct: <http://purl.org/dc/terms/> .
@prefix foaf: <http://xmlns.com/foaf/0.1/> .
@prefix vcard: <http://www.w3.org/2006/vcard/ns#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .

<https://rec.harvest-normandie.data4citizen.com/dataset/oai-hal-hal-00766793v1> a dcat:Dataset ;
    dct:description "International audience" ;
    dct:identifier "hal-00766793" ;
    dct:issued "2026-05-30T09:15:26.072781"^^xsd:dateTime ;
    dct:language "en" ;
    dct:modified "2026-05-30T09:15:26.072797"^^xsd:dateTime ;
    dct:publisher <https://rec.harvest-normandie.data4citizen.com/organization/cce9db95-46d9-4dc2-84b6-764215d0a002> ;
    dct:title "Application of Interface Theories to the Separate Compilation of Synchronous Programs" ;
    dcat:contactPoint [ a vcard:Organization ;
            vcard:fn "CCSD" ] ;
    dcat:distribution <https://rec.harvest-normandie.data4citizen.com/dataset/oai-hal-hal-00766793v1/resource/7709c0a1-ce11-485b-af73-90f6103da72f> ;
    dcat:keyword "acceptance-specifications",
        "acm-d-softwared2-software-engineeringd213-reusable-software",
        "acm-d-softwared3-programming-languages",
        "acm-f-theory-of-computationf3-logics-and-meanings-of-programsf33-studies-of-program-constr",
        "automata",
        "clocks",
        "conference-papers",
        "context",
        "infoeu-reposemanticsconferenceobject",
        "infoinfo-escomputer-science-csembedded-systems",
        "infoinfo-plcomputer-science-csprogramming-languages-cspl",
        "interface-theories",
        "modal-transition-systems",
        "reactive-synchronous-programming",
        "semantics",
        "separate-compilation",
        "spiautoengineering-sciences-physicsautomatic",
        "synchronization" ;
    dcat:landingPage <2012%20IEEE%2051st%20IEEE%20Conference%20on%20Decision%20and%20Control%20%28CDC%29> .

<2012%20IEEE%2051st%20IEEE%20Conference%20on%20Decision%20and%20Control%20%28CDC%29> a foaf:Document .

<https://rec.harvest-normandie.data4citizen.com/dataset/oai-hal-hal-00766793v1/resource/7709c0a1-ce11-485b-af73-90f6103da72f> a dcat:Distribution ;
    dct:format "HTML" ;
    dct:issued "2026-05-30T09:15:26.206213"^^xsd:dateTime ;
    dct:modified "2026-05-30T09:15:26.005553"^^xsd:dateTime ;
    dct:title "Application of Interface Theories to the Separate Compilation of Synchronous Programs" ;
    dcat:accessURL <https://inria.hal.science/hal-00766793> .

<https://rec.harvest-normandie.data4citizen.com/organization/cce9db95-46d9-4dc2-84b6-764215d0a002> a foaf:Agent ;
    foaf:name "test_moissonnage_selune" .