Zobrazeno 1 - 10
of 242
pro vyhledávání: '"Gadducci, Fabio"'
The development of quantum algorithms and protocols calls for adequate modelling and verification techniques, which requires abstracting and focusing on the basic features of quantum concurrent systems, like CCS and CSP have done for their classical
Externí odkaz:
http://arxiv.org/abs/2408.15087
When can two sequential steps performed by a computing device be considered (causally) independent? This is a relevant question for concurrent and distributed systems, since independence means that they could be executed in any order, and potentially
Externí odkaz:
http://arxiv.org/abs/2407.06181
Past years have seen the development of a few proposals for quantum extensions of process calculi. The rationale is clear: with the development of quantum communication protocols, there is a need to abstract and focus on the basic features of quantum
Externí odkaz:
http://arxiv.org/abs/2311.06116
We present a first-order linear-time temporal logic for reasoning about the evolution of directed graphs. Its semantics is based on the counterpart paradigm, thus allowing our logic to represent the creation, duplication, merging, and deletion of ele
Externí odkaz:
http://arxiv.org/abs/2305.03832
Publikováno v:
10th Conference on Algebra and Coalgebra in Computer Science (CALCO 2023), 16:1--16:17
Introduced in the 1990s in the context of the algebraic approach to graph rewriting, gs-monoidal categories are symmetric monoidal categories where each object is equipped with the structure of a commutative comonoid. They arise for example as Kleisl
Externí odkaz:
http://arxiv.org/abs/2303.14049
Publikováno v:
Appl. Categ. Structures 31, 42 (2023)
Originally introduced in the context of the algebraic approach to term graph rewriting, the notion of gs-monoidal category has surfaced a few times under different monikers in the last decades. They can be thought of as symmetric monoidal categories
Externí odkaz:
http://arxiv.org/abs/2205.06892
Adhesive categories provide an abstract framework for the algebraic approach to rewriting theory, where many general results can be recast and uniformly proved. However, checking that a model satisfies the adhesivity properties is sometimes far from
Externí odkaz:
http://arxiv.org/abs/2201.00233