Zobrazeno 1 - 10
of 4 534
pro vyhledávání: '"Process calculus"'
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.
Autor:
Gabriel Ciobanu
Publikováno v:
Mathematics, Vol 11, Iss 2, p 302 (2023)
The non-Markovian systems represent almost all stochastic processes, except of a small class having the Markov property; it is a real challenge to analyze these systems. In this article, we present a general method of analyzing non-Markovian systems.
Externí odkaz:
https://doaj.org/article/00ec72d7a1b847aa8065bc6024c3582c
Autor:
Gabriel Ciobanu
Publikováno v:
Axioms, Vol 11, Iss 1, p 8 (2021)
The article deals with interaction in concurrent systems. A calculus able to express specific communication patterns is defined, together with its abstract control structures. A hypergraph model for these structures is presented. The hypergraphs are
Externí odkaz:
https://doaj.org/article/b43c2ece19bf4d5985fb80d0a233aac2
Publikováno v:
Theoretical Computer Science. 897:64-82
Graphical representation (representing logical specifications by means of one or several labeled transition systems) is a typical connection between process algebra and temporal logic, the two main paradigms that specify and reason about reactive con
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::226f83bcfc944155a876d4e4cc1f21bb
https://doi.org/10.1016/j.tcs.2021.09.036
https://doi.org/10.1016/j.tcs.2021.09.036
Autor:
Siewe, Francois
The file attached to this record is the author's final peer reviewed version. The Publisher's final version can be found by following the DOI link. The Unified Modeling Language (UML) is the industrial de-facto standard for designing systems. It has
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______909::2f24889e53caa1b8b250f188d86eea33
https://hdl.handle.net/2086/22950
https://hdl.handle.net/2086/22950
Publikováno v:
IEICE Transactions on Information and Systems. :2154-2163
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::12231195dbdb0c1565667330c7a2b35a
https://doi.org/10.1587/transinf.2021edp7070
https://doi.org/10.1587/transinf.2021edp7070
Autor:
Tim A. C. Willemse, Maurice Laveaux
Publikováno v:
ICE
A monolithic process is a single recursive equation with data parameters, which only uses non-determinism, action prefixing, and recursion. We present a technique that decomposes such a monolithic process into multiple processes where each process de
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::026a91d6e6ae328893d2e4b4703b7767
https://doi.org/10.4204/eptcs.347.4
https://doi.org/10.4204/eptcs.347.4
Publikováno v:
IEICE Transactions on Information and Systems. :1515-1532
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::fff991a290c17aa440d817e10b26b785
https://doi.org/10.1587/transinf.2020fop0002
https://doi.org/10.1587/transinf.2020fop0002
Publikováno v:
Theoretical Computer Science. 890:125-146
We define a simple process calculus, based on Hennessy and Regan's Timed Process Language, for specifying networks of communicating programmable logic controllers (PLCs) enriched with monitors enforcing specification compliance at runtime. We define
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::568ef818731c593a4fe1af934681c686
https://doi.org/10.1016/j.tcs.2021.08.021
https://doi.org/10.1016/j.tcs.2021.08.021
Autor:
Jan Friso Groote
Publikováno v:
Electronic Proceedings in Theoretical Computer Science. 339:2-8
We sketch a process algebra with data and probability distributions. This allows to combine two very powerful abstraction mechanisms namely non-deterministic choice and probabilities. However, it is not clear how to define an appropriate semantics fo
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::18c2c50a491ecfa4f55be290a25d6a9f
https://doi.org/10.4204/eptcs.339.2
https://doi.org/10.4204/eptcs.339.2