Zobrazeno 1 - 10
of 615
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
Publikováno v:
In Journal of Logical and Algebraic Methods in Programming February 2024 137
Publikováno v:
In Information Sciences February 2024 658
Publikováno v:
In Theoretical Computer Science 15 August 2021 881:62-82
Autor:
Ribeiro, Pedro ⁎, Cavalcanti, Ana
Publikováno v:
In Theoretical Computer Science 17 January 2019 756:19-63
Autor:
Gebler, Daniel a, Tini, Simone b, ⁎
Publikováno v:
In Journal of Computer and System Sciences March 2018 92:113-151
Publikováno v:
In Handbook of Truly Concurrent Process Algebra 2024:353-358
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
Autor:
Viroli, Mirko a, ⁎, Pianini, Danilo a, Montagna, Sara a, Stevenson, Graeme b, Zambonelli, Franco c
Publikováno v:
In Science of Computer Programming 15 October 2015 110:3-22