Zobrazeno 1 - 10
of 8 243
pro vyhledávání: '"Process algebras"'
This survey reviews some of the most recent achievements in the saga of the axiomatisation of parallel composition, along with some classic results. We focus on the recursion, relabelling and restriction free fragment of CCS and we discuss the soluti
Externí odkaz:
http://arxiv.org/abs/2105.00735
Autor:
Bergstra, J. A., Middelburg, C. A.
We introduce the notion of an ACP process algebra. The models of the axiom system ACP are the origin of this notion. ACP process algebras have to do with processes in which no data are involved. We also introduce the notion of a meadow enriched ACP p
Externí odkaz:
http://arxiv.org/abs/0901.3012
Publikováno v:
EPTCS 64, 2011, pp. 31-43
We study two different ways to enhance PAFAS, a process algebra for modelling asynchronous timed concurrent systems, with non-blocking reading actions. We first add reading in the form of a read-action prefix operator. This operator is very flexible,
Externí odkaz:
http://arxiv.org/abs/1108.4466
Autor:
Paolo Milazzo
Publikováno v:
Systems Biology Modelling and Analysis. :35-67
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::14419c0705accb39965604951b661921
https://doi.org/10.1002/9781119716600.ch3
https://doi.org/10.1002/9781119716600.ch3
Autor:
Barbuti, Roberto, Caravagna, Giulio, Maggiolo-Schettini, Andrea, Milazzo, Paolo, Tini, Simone
Publikováno v:
In Theoretical Computer Science 4 May 2012 431:96-116
Autor:
Anastasiadi, Elli
Concurrency as a phenomenon is observed in most of the current computer science trends. However the inherent complexity of analyzing the behavior of such a system is incremented due to the many different models of concurrency, the variety of applicat
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______3712::ecfad5ab779c16bc8f1b358b913c9b6e
https://hdl.handle.net/20.500.11815/3683
https://hdl.handle.net/20.500.11815/3683
Autor:
Parrow, Joachim
Publikováno v:
In Electronic Notes in Theoretical Computer Science 24 April 2008 209:173-186
Autor:
Bortolussi, Luca, Policriti, Alberto
Publikováno v:
In IFAC Proceedings Volumes 2008 41(2):12599-12606
Kniha
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.