Concurrency Models with Causality and Events as Psi-calculi

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

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 proceedingArticle in proceedingsResearchpeer-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 -

ID: 227990365