Výsledky vyhledávání - "Ulidowski, I."

Towards a taxonomy for reversible computation approaches

Autor: Glück, R, Lanese, I, Mezzina, CA, Miszczak, JA, Phillips, I, Ulidowski, I, Vidal, G

Publikováno v: 15th International Conference on Reversible Computation (RC)

Reversible computation is a paradigm allowing computation to proceed not only in the usual, forward direction, but also backwards. Reversible computation has been studied in a variety of models, including sequential and concurrent programming languag

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od______1032::076c8c78870233fb1798069c8b1f4167
http://hdl.handle.net/10044/1/103945

Zobrazit plný text záznamu

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.

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.

Turing meets Milner

Autor: Baeten, Jos, Luttik, Bas, Tilburg, Paul, Koutny, Maciej, Ulidowski, I.

Publikováno v: Lecture Notes in Computer Science ISBN: 9783642329395
CONCUR
CONCUR 2012-Concurrency Theory (23rd International Conference on Concurrency Theory, Newcastle upon Tyne, UK, September 3-8, 2012. Proceedings), 1-20
STARTPAGE=1;ENDPAGE=20;TITLE=CONCUR 2012-Concurrency Theory (23rd International Conference on Concurrency Theory, Newcastle upon Tyne, UK, September 3-8, 2012. Proceedings)
CONCUR 2012 – Concurrency Theory: 23rd International Conference, CONCUR 2012, Newcastle upon Tyne, UK, September 4-7, 2012 : proceedings, 1-20
STARTPAGE=1;ENDPAGE=20;TITLE=CONCUR 2012 – Concurrency Theory

We enhance the notion of a computation of the classical theory of computing with the notion of interaction from concurrency theory. In this way, we enhance a Turing machine as a model of computation to a Reactive Turing Machine that is an abstract mo

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::5044c6b5c465b3b56d12ed7bbc76e921
http://www.scopus.com/inward/record.url?scp=84866713408&partnerID=8YFLogxK

Zobrazit plný text záznamu

A Hierarchy of SOS Rule Formats

Autor: Groote, J.F., Mousavi, M.R., Reniers, M.A., Mosses, P.D., Ulidowski, I.

Publikováno v: Proceedings of the 2nd Workshop on Structural Operational Semantics (SOS2005, Lisbon, Portugal, July 10, 2005; satellite to ICALP2005), 3-25
STARTPAGE=3;ENDPAGE=25;TITLE=Proceedings of the 2nd Workshop on Structural Operational Semantics (SOS2005, Lisbon, Portugal, July 10, 2005; satellite to ICALP2005)

In 1981 Structural Operational Semantics (SOS) was introduced as a systematic way to define operational semantics of programming languages by a set of rules of a certain shape [G.D. Plotkin. A structural approach to operational semantics. Technical R

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8996635bb19eff8f03aa88d6e5e3ba68
https://doi.org/10.1016/j.entcs.2005.11.077

Zobrazit plný text záznamu

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.

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.

Compositionality of probabilistic Hennessy-Milner logic through structural operational semantics

Autor: Gebler, D., Fokkink, W.J., Koutny, M., Ulidowski, I.

Publikováno v: CONCUR 2012 – Concurrency Theory : 23rd International Conference, CONCUR 2012, Newcastle upon Tyne, UK, September 4-7, 2012. Proceedings, 395-409
STARTPAGE=395;ENDPAGE=409;TITLE=CONCUR 2012 – Concurrency Theory : 23rd International Conference, CONCUR 2012, Newcastle upon Tyne, UK, September 4-7, 2012. Proceedings
Lecture Notes in Computer Science ISBN: 9783642329395
CONCUR

We present a method to decompose HML formulae for reactive probabilistic processes. This gives rise to a compositional modal proof system for the satisfaction relation of probabilistic process algebras. The satisfaction problem of a probabilistic HML

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::fadfbc6a2a8433a4ff50f2bb3d5d9926
https://research.tue.nl/nl/publications/1c0c0c69-918e-4714-8f65-bafc2618e231

Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání