Zobrazeno 1 - 10
of 25
pro vyhledávání: '"de Simone, R."'
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:
CONCUR'98 Concurrency Theory: 9th International Conference Nice, France, September 8–11, 1998 Proceedings, 348-365
STARTPAGE=348;ENDPAGE=365;TITLE=CONCUR'98 Concurrency Theory
CONCUR'98 Concurrency Theory ISBN: 9783540648963
CONCUR
CONCUR '98: Concurrency Theory (Proceedings 9th International Conference, Nice, France, September 8-11, 1998), 348-363
STARTPAGE=348;ENDPAGE=363;TITLE=CONCUR '98: Concurrency Theory (Proceedings 9th International Conference, Nice, France, September 8-11, 1998)
STARTPAGE=348;ENDPAGE=365;TITLE=CONCUR'98 Concurrency Theory
CONCUR'98 Concurrency Theory ISBN: 9783540648963
CONCUR
CONCUR '98: Concurrency Theory (Proceedings 9th International Conference, Nice, France, September 8-11, 1998), 348-363
STARTPAGE=348;ENDPAGE=363;TITLE=CONCUR '98: Concurrency Theory (Proceedings 9th International Conference, Nice, France, September 8-11, 1998)
We introduce a transformation system for concurrent constraint programming (CCP). We define suitable applicability conditions for the transformations which guarantee that the input/output ccp semantics is preserved also when distinguishing deadlocked
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::7dadcce948ce2aebc7f212f23e349fff
https://research.utwente.nl/en/publications/b892b248-1745-414f-a6e4-7fdf8ff5b1c2
https://research.utwente.nl/en/publications/b892b248-1745-414f-a6e4-7fdf8ff5b1c2
Publikováno v:
CONCUR'98 Concurrency Theory: 9th International Conference Nice, France, September 8–11, 1998, Proceedings, 237-252
STARTPAGE=237;ENDPAGE=252;TITLE=CONCUR'98 Concurrency Theory
ISSUE=9;STARTPAGE=237;ENDPAGE=252;TITLE=9th International Conference on Concurrency Theory, CONCUR 1998
STARTPAGE=237;ENDPAGE=252;TITLE=CONCUR'98 Concurrency Theory
ISSUE=9;STARTPAGE=237;ENDPAGE=252;TITLE=9th International Conference on Concurrency Theory, CONCUR 1998
During the last decade, CCS has been extended in different directions, among them priority and real time. One of the most satisfactory results for CCS is Milner's complete proof system for observational congruence [28]. Observational congruence is fa
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::403ff3a066d1195da0de6752becc9c2e
https://research.utwente.nl/en/publications/95d86406-637f-4144-8d62-d24edf8be31b
https://research.utwente.nl/en/publications/95d86406-637f-4144-8d62-d24edf8be31b
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.
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.
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.
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.