Zobrazeno 1 - 10
of 546
pro vyhledávání: '"Process algebras"'
We propose an interpretation of multiparty sessions as "flow event structures", which allows concurrency between communications within a session to be explicitly represented. We show that this interpretation is equivalent, when the multiparty session
Externí odkaz:
http://arxiv.org/abs/2201.00221
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
FSCD 2023-8th International Conference on Formal Structures for Computation and Deduction
FSCD 2023-8th International Conference on Formal Structures for Computation and Deduction, Jul 2023, Rome, Italy
FSCD 2023-8th International Conference on Formal Structures for Computation and Deduction, Jul 2023, Rome, Italy
This work aims at exploring the algebraic structure of concurrent processes and their behavior independently of a particular formalism used to define them. We propose a new algebraic structure called conjunctive involutive monoidal algebra (CIMA) as
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::913b4fa960593c990e1ee32beab9f347
https://inria.hal.science/hal-04083002v1/document
https://inria.hal.science/hal-04083002v1/document
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
Coventry University
Software programs are formal entities with precise meanings independent of their programmers, so the transition from ideas to programs necessarily involves a formalisation at some point. The first part of this graduate-level introduction to formal me
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::8b9d31bbc8ba797899c8d7ffbb2a3bcd
https://publica.fraunhofer.de/handle/publica/434423
https://publica.fraunhofer.de/handle/publica/434423
Session types are a well-established framework for the specification of interactions between components of a distributed systems. An important issue is how to determine the type for an open system, i.e., obtained by assembling subcomponents, some of
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::91283ae351221af683214fab75b02bff
https://hdl.handle.net/11390/1233165
https://hdl.handle.net/11390/1233165
Autor:
Aubert, Clément
The algebraic specification and representation of networks of agents have been greatly impacted by the study of reversible phenomena: reversible declensions of the calculus of communicating systems (CCSK and RCCS) offer new semantic models, finer con
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______166::e51f5d8ffc8ff3192901d4fb13a52405
https://hal.archives-ouvertes.fr/hal-03605003
https://hal.archives-ouvertes.fr/hal-03605003
Autor:
Aubert, Clément
Reversible computation is key in developing new, energy-efficient paradigms, but also in providing forward-only concepts with broader definitions and finer frames of study.Among other fields, the algebraic specification and representation of networks
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=arXiv_dedup_::f375e5d95588cc573a787fdeeecf27dc
http://arxiv.org/abs/2110.12697
http://arxiv.org/abs/2110.12697
Autor:
Aubert, Clément, Medić, Doriana
Existing formalisms for the algebraic specification and representation of networks of reversible agents suffer some shortcomings. Despite multiple attempts, reversible declensions of the Calculus of Communicating Systems (CCS) do not offer satisfacto
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=arXiv_dedup_::fb80db05e92a96914c3996d48383cfba
https://hal.science/hal-03183053/file/2021_03_26_standalone.pdf
https://hal.science/hal-03183053/file/2021_03_26_standalone.pdf