Zobrazeno 1 - 10
of 46
pro vyhledávání: '"Victor, Björn"'
Autor:
Borgström, Johannes, Gutkovas, Ramūnas, Parrow, Joachim, Victor, Björn, Pohjola, Johannes Åman
Publikováno v:
Logical Methods in Computer Science, Volume 12, Issue 1 (March 31, 2016) lmcs:1631
Applied process calculi include advanced programming constructs such as type systems, communication with pattern matching, encryption primitives, concurrent constraints, nondeterminism, process creation, and dynamic connection topologies. Several suc
Externí odkaz:
http://arxiv.org/abs/1510.01044
Publikováno v:
EPTCS 18, 2010, pp. 17-31
We present a symbolic transition system and bisimulation equivalence for psi-calculi, and show that it is fully abstract with respect to bisimulation congruence in the non-symbolic semantics. A psi-calculus is an extension of the pi-calculus with nom
Externí odkaz:
http://arxiv.org/abs/1002.2867
Publikováno v:
2022 IEEE Frontiers in Education Conference (FIE).
To complement previous research on the top-down inclusion of ethics training within engineering programs, this Innovative Practice Work in Progress paper describes a supplementary strategy acknowledging and supporting ethics training as a shared resp
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e1da1faed19016d0e15a35333693eb64
https://doi.org/10.1109/fie56618.2022.9962603
https://doi.org/10.1109/fie56618.2022.9962603
Publikováno v:
In Journal of Logic and Algebraic Programming April 2012 81(3):162-180
Autor:
Lycke, Liselott, Georgsson, Fredrik, Schedin, Staffan, Degerman, Lars, Solin, Kim, Victor, Björn
Svenska lärosäten har utvecklat egna kvalitetssystem som ska granskas och godkännas av universitetskans-lersämbetet (UKÄ). Typiskt bygger lärosätenas kvalitetssäkrings-system på cykliska mäta-värdera-åtgärda aktiviteter. I flera av dessa
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::d8dbeec025432bf39835313acc1a3276
http://urn.kb.se/resolve?urn=urn:nbn:se:umu:diva-168423
http://urn.kb.se/resolve?urn=urn:nbn:se:umu:diva-168423
Publikováno v:
In Electronic Notes in Theoretical Computer Science 11 December 2004 106:105-120
Publikováno v:
EXPRESS
EXPRESS'99: 6th International Workshop on Expressiveness in Concurrency, 24-41
STARTPAGE=24;ENDPAGE=41;TITLE=EXPRESS'99
EXPRESS'99: 6th International Workshop on Expressiveness in Concurrency, 24-41
STARTPAGE=24;ENDPAGE=41;TITLE=EXPRESS'99
The starting point of this paper is McMillan's complete finite prefix of an unfolding that has been obtained from a Petri net or a process algebra expression. The paper addresses the question of how to obtain the (possibly infinite) system behaviour
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::22472d8eef4e8f69521dd8d1ef1c1345
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.