Precongruence Formats for Decorated Trace Semantics

Autor: Bloom, B., Fokkink, W. J., van Glabbeek, R. J.

This paper explores the connection between semantic equivalences and preorders for concrete sequential processes, represented by means of labelled transition systems, and formats of transition system specifications using Plotkin's structural approach

Externí odkaz: http://arxiv.org/abs/cs/0204039

Effects of a combination of feed additives on methane production, diet digestibility, and animal performance in lactating dairy cows

Autor: van Zijderveld, S.M., Fonken, B., Dijkstra, J., Gerrits, W.J.J., Perdok, H.B., Fokkink, W., Newbold, J.R.

Publikováno v: In Journal of Dairy Science March 2011 94(3):1445-1454

Kleene Algebra with Observations

Autor: Kappé, T., Brunet, P., Rot, J., Silva, Alexandra, Wagemaker, J., Zanasi, Fabio, Fokkink, W.

Publikováno v: Fokkink, W. (ed.), CONCUR 2019: 30th International Conference on Concurrency Theory, 41:1-41:16. Dagstuhl : Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
STARTPAGE=41:1;ENDPAGE=41:16;ISSN=1868-8969;TITLE=Fokkink, W. (ed.), CONCUR 2019: 30th International Conference on Concurrency Theory
Fokkink, W. (ed.), CONCUR 2019: 30th International Conference on Concurrency Theory, pp. 41:1-41:16

Kleene algebra with tests (KAT) is an algebraic framework for reasoning about the control flow of sequential programs. Generalising KAT to reason about concurrent programs is not straightforward, because axioms native to KAT in conjunction with expec

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::fe96368a0bebbb439b8d6f1e472242d8
http://hdl.handle.net/2066/207658

Randomized trial of intravenous immunoglobulin maintenance treatment regimens in chronic inflammatory demyelinating polyradiculoneuropathy.

Autor: Kuitwaard, K., Brusse, E., Jacobs, B. C., Vrancken, A. F. J. E., Eftimov, F., Notermans, N. C., Kooi, A. J., Fokkink, W. ‐J. R., Nieboer, D., Lingsma, H. F., Merkies, I. S. J., Doorn, P. A.

Publikováno v: European Journal of Neurology; Jan2021, Vol. 28 Issue 1, p286-296, 11p

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