Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Partially Observable Concurrent Kleene Algebra

Autor: Wagemaker, J., Brunet, P., Docherty, S., Kappé, T., Rot, J., Silva, A., Konnov, I.

Publikováno v: Konnov, I. (ed.), 31st International Conference on Concurrency Theory (CONCUR 2020), 20:1-20:22. Dagstuhl : Schloss Dagstuhl
STARTPAGE=20:1;ENDPAGE=20:22;ISSN=1868-8969;TITLE=Konnov, I. (ed.), 31st International Conference on Concurrency Theory (CONCUR 2020)
Konnov, I. (ed.), 31st International Conference on Concurrency Theory (CONCUR 2020), pp. 20:1-20:22

We introduce partially observable concurrent Kleene algebra (POCKA), an algebraic framework to reason about concurrent programs with control structures, such as conditionals and loops. POCKA enables reasoning about programs that can access variables

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9e81a4d99cfee0bf17f96050809e15fb

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Calling Behavior and Male Condition in the Frog Hyperolius marmoratus

Autor: Docherty, S., Bishop, P. J., Passmore, N. I.

Publikováno v: Journal of Herpetology, 1995 Dec 01. 29(4), 616-618.

Externí odkaz: https://www.jstor.org/stable/1564748