@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-00761073v1> a dcat:Dataset ;
    dct:description """
              Software components are a valuable programming abstraction that enables a compositional design of complex applications. In distributed systems, components can also be used to provide an abstraction of locations: each component is a unit of deployment that can be placed on a di fferent machine. In this article, we consider this kind of distributed components that are additionally loosely coupled and communicate by asynchronous invocations. Components also provide a convenient abstraction for verifying the correct behaviour of systems: they provide structuring entities easing the correctness veri fication. This article aims at providing a formal background for the generation of behavioural semantics for asynchronous components. We use the pNet intermediate language to express the semantics of hierarchical distributed components communicating asynchronously by a request-reply mechanism. We also formalise two crucial aspects of distributed components: recon figuration and one-to-many communications. This article both demonstrates the expressiveness of the pNet model and formally speci fies the complete process of the generation of a behavioural model for a distributed component system. The behavioural models we build are precise enough to allow veri fication by finite instantiation and model-checking, but also to use veri fication techniques for infi nite systems.
            """ ;
    dct:identifier "Report N°: RR-8167" ;
    dct:issued "2026-06-02T05:44:01.690560"^^xsd:dateTime ;
    dct:language "en" ;
    dct:modified "2026-06-02T05:44:01.690568"^^xsd:dateTime ;
    dct:publisher <https://rec.harvest-normandie.data4citizen.com/organization/cce9db95-46d9-4dc2-84b6-764215d0a002> ;
    dct:title "Behavioural Semantics for Asynchronous Components" ;
    dcat:contactPoint [ a vcard:Organization ;
            vcard:fn "CCSD" ] ;
    dcat:distribution <https://rec.harvest-normandie.data4citizen.com/dataset/oai-hal-hal-00761073v1/resource/050295ff-12a9-4e38-a1a6-be35cd1c3e0b> ;
    dcat:keyword "acm-d-softwared1-programming-techniquesd13-concurrent-programmingd130-distributed-pro",
        "acm-d-softwared2-software-engineeringd24-softwareprogram-verification",
        "asynchronous-communications",
        "behavioural-specification",
        "futures",
        "infoeu-reposemanticsreport",
        "infoinfo-dccomputer-science-csdistributed-parallel-and-cluster-computing-csdc",
        "reports",
        "software-components" ;
    dcat:landingPage <https://inria.hal.science/hal-00761073> .

<https://rec.harvest-normandie.data4citizen.com/dataset/oai-hal-hal-00761073v1/resource/050295ff-12a9-4e38-a1a6-be35cd1c3e0b> a dcat:Distribution ;
    dct:format "HTML" ;
    dct:issued "2026-06-02T05:44:01.777946"^^xsd:dateTime ;
    dct:modified "2026-06-02T05:44:01.643058"^^xsd:dateTime ;
    dct:title "Behavioural Semantics for Asynchronous Components" ;
    dcat:accessURL <https://inria.hal.science/hal-00761073> .

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

<https://inria.hal.science/hal-00761073> a foaf:Document .