Standard
Concurrency Models with Causality and Events as Psi-calculi. / Hildebrandt, Thomas; Prisacariu, Cristian; Norman, Håkon.
Proceedings 7th Interaction and Concurrency Experience. ed. / Ivan Lanese; Alberto Lluch-Lafuente; Ana Sokolova; Hugo Torres Vieira. Vol. 166 2014. p. 4-20 (Electronic Proceedings in Theoretical Computer Science, Vol. 166).
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Harvard
Hildebrandt, T, Prisacariu, C & Norman, H 2014,
Concurrency Models with Causality and Events as Psi-calculi. in I Lanese, A Lluch-Lafuente, A Sokolova & HT Vieira (eds),
Proceedings 7th Interaction and Concurrency Experience. vol. 166, Electronic Proceedings in Theoretical Computer Science, vol. 166, pp. 4-20.
https://doi.org/10.4204/EPTCS.166.3
APA
Hildebrandt, T., Prisacariu, C., & Norman, H. (2014).
Concurrency Models with Causality and Events as Psi-calculi. In I. Lanese, A. Lluch-Lafuente, A. Sokolova, & H. T. Vieira (Eds.),
Proceedings 7th Interaction and Concurrency Experience (Vol. 166, pp. 4-20). Electronic Proceedings in Theoretical Computer Science Vol. 166
https://doi.org/10.4204/EPTCS.166.3
Vancouver
Hildebrandt T, Prisacariu C, Norman H.
Concurrency Models with Causality and Events as Psi-calculi. In Lanese I, Lluch-Lafuente A, Sokolova A, Vieira HT, editors, Proceedings 7th Interaction and Concurrency Experience. Vol. 166. 2014. p. 4-20. (Electronic Proceedings in Theoretical Computer Science, Vol. 166).
https://doi.org/10.4204/EPTCS.166.3
Author
Hildebrandt, Thomas ; Prisacariu, Cristian ; Norman, Håkon. / Concurrency Models with Causality and Events as Psi-calculi. Proceedings 7th Interaction and Concurrency Experience. editor / Ivan Lanese ; Alberto Lluch-Lafuente ; Ana Sokolova ; Hugo Torres Vieira. Vol. 166 2014. pp. 4-20 (Electronic Proceedings in Theoretical Computer Science, Vol. 166).
Bibtex
@inproceedings{4f8081262c874fadbce9cf5f4bf0f7ee,
title = "Concurrency Models with Causality and Events as Psi-calculi",
author = "Thomas Hildebrandt and Cristian Prisacariu and H{\aa}kon Norman",
year = "2014",
doi = "10.4204/EPTCS.166.3",
language = "Dansk",
volume = "166",
series = "Electronic Proceedings in Theoretical Computer Science",
publisher = "Open Publishing Association",
pages = "4--20",
editor = "Ivan Lanese and Alberto Lluch-Lafuente and Ana Sokolova and Vieira, {Hugo Torres}",
booktitle = "Proceedings 7th Interaction and Concurrency Experience",
}
RIS
TY - GEN
T1 - Concurrency Models with Causality and Events as Psi-calculi
AU - Hildebrandt, Thomas
AU - Prisacariu, Cristian
AU - Norman, Håkon
PY - 2014
Y1 - 2014
U2 - 10.4204/EPTCS.166.3
DO - 10.4204/EPTCS.166.3
M3 - Konferencebidrag i proceedings
VL - 166
T3 - Electronic Proceedings in Theoretical Computer Science
SP - 4
EP - 20
BT - Proceedings 7th Interaction and Concurrency Experience
A2 - Lanese, Ivan
A2 - Lluch-Lafuente, Alberto
A2 - Sokolova, Ana
A2 - Vieira, Hugo Torres
ER -