Zobrazeno 1 - 10
of 65
pro vyhledávání: '"Cristescu, Ioana"'
Autor:
Aubert, Clément, Cristescu, Ioana
The formalization of process algebras usually starts with a minimal core of operators and rules for its transition system, and then relax the system to improve its usability and ease the proofs. In the calculus of communicating systems (CCS), the str
Externí odkaz:
http://arxiv.org/abs/2005.06818
Autor:
Aubert, Clément, Cristescu, Ioana
Reversible computation opens up the possibility of overcoming some of the hardware's current physical limitations. It also offers theoretical insights, as it enriches multiple paradigms and models of computation, and sometimes retrospectively enlight
Externí odkaz:
http://arxiv.org/abs/2005.06814
Publikováno v:
EPTCS 286, 2019, pp. 65-78
Graph rewrite formalisms are a powerful approach to modeling complex molecular systems. They capture the intrinsic concurrency of molecular interactions, thereby enabling a formal notion of mechanism (a partially ordered set of events) that explains
Externí odkaz:
http://arxiv.org/abs/1901.00592
Autor:
Aubert, Clément, Cristescu, Ioana
History-and hereditary history-preserving bisimulation (HPB and HHPB) are equivalences relations for denotational models of concurrency. Finding their counterpart in process algebras is an open problem, with some partial successes: there exists in ca
Externí odkaz:
http://arxiv.org/abs/1804.10355
Autor:
Boutillier, Pierre, Cristescu, Ioana
Rule-based modelers dislike direct enumeration of cases when more efficient means of enumeration are available. We present an extension of the Kappa language which attaches to agents a notion of level. We detail two encodings that are more concise th
Externí odkaz:
http://arxiv.org/abs/1708.02651
Autor:
Aubert, Clément, Cristescu, Ioana
Contextual equivalence equate terms that have the same observable behaviour in any context. A standard contextual equivalence for CCS is the strong barbed congruence. Configuration structures are a denotational semantics for processes in which one de
Externí odkaz:
http://arxiv.org/abs/1511.05750
Autor:
Aubert, Clément, Cristescu, Ioana
Publikováno v:
EPTCS 189, 2015, pp. 68-85
A standard contextual equivalence for process algebras is strong barbed congruence. Configuration structures are a denotational semantics for processes in which one can define equivalences that are more discriminating, i.e. that distinguish the denot
Externí odkaz:
http://arxiv.org/abs/1508.04852
Autor:
Cristescu, Ioana Cristina
Publikováno v:
Dynamic Elements in the Contemporary Business Law : Contributions to the 9th International Conference Perspectives of Business Law in the Third Millennium, November 8, 2019, Bucharest. :230-250
Externí odkaz:
https://www.ceeol.com/search/chapter-detail?id=840946
Publikováno v:
In Theoretical Computer Science 12 October 2020 837:54-83
Autor:
Ben Said, Najah, Cristescu, Ioana
Publikováno v:
In Science of Computer Programming 15 February 2020 187