Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Håkon Norman"'
Autor:
Søren Debois, Tijs Slaats, Leandro Galrinho, João Costa Seco, Thomas Hildebrandt, Håkon Norman
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783030781415
COORDINATION
Lecture Notes in Computer Science
23th International Conference on Coordination Languages and Models (COORDINATION)
23th International Conference on Coordination Languages and Models (COORDINATION), Jun 2021, Valletta, Malta. pp.188-205, ⟨10.1007/978-3-030-78142-2_12⟩
COORDINATION
Lecture Notes in Computer Science
23th International Conference on Coordination Languages and Models (COORDINATION)
23th International Conference on Coordination Languages and Models (COORDINATION), Jun 2021, Valletta, Malta. pp.188-205, ⟨10.1007/978-3-030-78142-2_12⟩
Part 3: Large-Scale Decentalised Systems; International audience; Business processes, data, and run-time control state are all key elements in the design of enterprise applications. However, the different layers for processes, data, and control are u
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8401615ba4802a3329694006d9240160
https://doi.org/10.1007/978-3-030-78142-2_12
https://doi.org/10.1007/978-3-030-78142-2_12
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 166, Iss Proc. ICE 2014, Pp 4-20 (2014)
Psi-calculi are a parametric framework for nominal calculi, where standard calculi are found as instances, like the pi-calculus, or the cryptographic spi-calculus and applied-pi. Psi-calculi have an interleaving operational semantics, with a strong f
Externí odkaz:
https://doaj.org/article/943ffcbba3da4d519111a2d0b8fb972c
