Enriched categorical semantics for distributed calculi (Q1208210): Difference between revisions
From MaRDI portal
Set profile property. |
Set OpenAlex properties. |
||
(One intermediate revision by one other user not shown) | |||
Property / cites work | |||
Property / cites work: Algèbre de processus et synchronisation / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3682648 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Algebra of communicating processes with abstraction / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3904750 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3692876 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A Theory of Communicating Sequential Processes / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3956374 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4746776 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3677155 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Extensional equivalences for transition systems / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Testing equivalences for processes / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5586461 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Communicating sequential processes / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4145861 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3667049 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3780423 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3028349 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3934579 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4728237 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Metric spaces, generalized logic, and closed categories / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A calculus of communicating systems / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Calculi for synchrony and asynchrony / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3683531 / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1016/0022-4049(92)90048-k / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2086295015 / rank | |||
Normal rank |
Latest revision as of 11:12, 30 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Enriched categorical semantics for distributed calculi |
scientific article |
Statements
Enriched categorical semantics for distributed calculi (English)
0 references
16 May 1993
0 references
The authors propose a general categorical framework in which many of the existing proposals for the mathematical semantics of the interaction between concurrent or parallel computations can be expressed and, therefore, compared. They propose a two-tier formalization of synchronization between (concurrent) computing agents. At the first level we find computations, described as labelled trees. Formally, they introduce the topos of labelled budding trees (constructed out of the topos of labelled \(A\)-trees, \({\mathbf T}/F(A)\), which is a monoidal category with respect to a notion of concatenation between trees. Since this topos, however, if not monoidal closed, its reflective subcategory \({\mathbf N}{\mathbf T}\) of nice trees is introduced, which turns out to be monoidal closed (but not biclosed, a fact which accounts for nondeterminism). Finally, an operation of synchronization is introduced on \({\mathbf N}{\mathbf T}\) and shown to be a monoidal functor. The second level of the proposed semantics aims to model processes and computations among them, described as enriched categories over \({\mathbf N}{\mathbf T}\). Synchronization among processes is obtained by lifting to the enriched structure the corresponding operation of the base monoidal category. Particular relevance assumes a notion of hereditary fullness, characterizing the ``good semantics''. With this set up, the concepts of relabelling, restrictions, insertion and deletion of idle moves are then described, with particular emphasis of the comparison with similar operations of other formal descriptions (e.g., CCS and ACP). The paper tries to motivate the formal notions through intuitive operations on computations and the analogy with regular languages and automata.
0 references
concurrency
0 references
monoidal closed category
0 references
CCS
0 references
parallel computations
0 references
labelled trees
0 references
synchronization
0 references