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

Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

Originalsprog	Dansk
Titel	Proceedings 7th Interaction and Concurrency Experience
Redaktører	Ivan Lanese, Alberto Lluch-Lafuente, Ana Sokolova, Hugo Torres Vieira
Antal sider	17
Vol/bind	166
Publikationsdato	2014
Sider	4-20
DOI	https://doi.org/10.4204/EPTCS.166.3
Status	Udgivet - 2014

Navn	Electronic Proceedings in Theoretical Computer Science. EPTCS
Vol/bind	166

Adgang til dokumentet

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 Fonden
01/01/2014 → 31/05/2019
Projekter: Projekt › Forskning

Citationsformater

@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. red. / Ivan Lanese; Alberto Lluch-Lafuente; Ana Sokolova; Hugo Torres Vieira. Bind 166 2014. s. 4-20 (Electronic Proceedings in Theoretical Computer Science. EPTCS, Bind 166).

Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › 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

Adgang til dokumentet

Projekter

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

Citationsformater