Zobrazeno 1 - 10
of 112
pro vyhledávání: '"Vasconcelos, V.T."'
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.
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.
Publikováno v:
Information and Computation, 208(6), 694-715. Elsevier
Information and Computation
Information and Computation, 2010, 208 (6), pp.694-715. ⟨10.1016/j.ic.2009.06.006⟩
CONCUR 2007 – Concurrency Theory ISBN: 9783540744061
CONCUR
CONCUR'07
CONCUR'07, Sep 2007, Lisboa, Portugal. ⟨10.1007/978-3-540-74407-8_4⟩
CONCUR 2007-Concurrency Theory (18th International Conference, Lisbon, Portugal, September 3-8, 2007. Proceedings), 42-58
STARTPAGE=42;ENDPAGE=58;TITLE=CONCUR 2007-Concurrency Theory (18th International Conference, Lisbon, Portugal, September 3-8, 2007. Proceedings)
Information and Computation
Information and Computation, 2010, 208 (6), pp.694-715. ⟨10.1016/j.ic.2009.06.006⟩
CONCUR 2007 – Concurrency Theory ISBN: 9783540744061
CONCUR
CONCUR'07
CONCUR'07, Sep 2007, Lisboa, Portugal. ⟨10.1007/978-3-540-74407-8_4⟩
CONCUR 2007-Concurrency Theory (18th International Conference, Lisbon, Portugal, September 3-8, 2007. Proceedings), 42-58
STARTPAGE=42;ENDPAGE=58;TITLE=CONCUR 2007-Concurrency Theory (18th International Conference, Lisbon, Portugal, September 3-8, 2007. Proceedings)
International audience; When dealing with process calculi and automata which express both nondeterministic and probabilistic behavior, it is customary to introduce the notion of scheduler to resolve the nondeterminism. It has been observed that for c
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.
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.
Conference
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.
Conference
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.
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.
Conference
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.
Conference
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.