Concurrency Models with Causality and Events as Psi-calculi

Thomas Hildebrandt; Cristian Prisacariu; Håkon Norman

doi:10.4204/EPTCS.166.3

Concurrency Models with Causality and Events as Psi-calculi

Thomas Hildebrandt
, Cristian Prisacariu
, Håkon Norman

Programming Logic and Semantics

University of Oslo

Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

Original language	Danish
Title of host publication	Proceedings 7th Interaction and Concurrency Experience
Editors	Ivan Lanese, Alberto Lluch-Lafuente, Ana Sokolova, Hugo Torres Vieira
Number of pages	17
Volume	166
Publication date	2014
Pages	4-20
DOIs	https://doi.org/10.4204/EPTCS.166.3
Publication status	Published - 2014

Series	Electronic Proceedings in Theoretical Computer Science. EPTCS
Volume	166

Access to Document

10.4204/EPTCS.166.3

http://dx.doi.org/10.4204/EPTCS.166.3

CompArt: Towards a design-oriented theory of computational artifacts in cooperative work practices
Hildebrandt, T. (PI), Normann, H. (CoI) & Slaats, T. (CoI)
Velux Foundation
01/01/2014 → 31/05/2019
Project: Research

Cite this

@inproceedings{e13755cb543f471bbf7b6fb008f90cad,

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. EPTCS",

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",

}

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. EPTCS, Vol. 166).

Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

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. EPTCS

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 -

Concurrency Models with Causality and Events as Psi-calculi

Access to Document

Projects

CompArt: Towards a design-oriented theory of computational artifacts in cooperative work practices

Cite this