A Compositional Proof of a Real-Time Mutual Exclusion Protocol

K. J. Kristoffersen; F. Laroussinie; Kim Guldstrand Larsen; P. Pettersson; W. Yi

A Compositional Proof of a Real-Time Mutual Exclusion Protocol

K. J. Kristoffersen, F. Laroussinie, Kim Guldstrand Larsen, P. Pettersson, W. Yi

Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

Original language	English
Title of host publication	TAPSOFT'97, Theory and Practice of Software Development : Proceedings of the 7th International Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997 : Lecture Notes in Computer Science
Editors	Bidoit, Michel : Dauchet, Max (eds.)
Publisher	IEEE Computer Society Press
Publication date	1997
Edition	1214
ISBN (Print)	3540627812
Publication status	Published - 1997
Event	A Compositional Proof of a Real-Time Mutual Exclusion Protocol - Duration: 19 May 2010 → …

Conference

Conference	A Compositional Proof of a Real-Time Mutual Exclusion Protocol
Period	19/05/2010 → …

AUB Link

Search for the material in Aalborg University Library's search engine

Cite this

Kristoffersen, K. J., Laroussinie, F., Larsen, K. G., Pettersson, P., & Yi, W. (1997). A Compositional Proof of a Real-Time Mutual Exclusion Protocol. In Bidoit, Michel : Dauchet, Max (eds.) (Ed.), TAPSOFT'97, Theory and Practice of Software Development : Proceedings of the 7th International Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997: Lecture Notes in Computer Science (1214 ed.). IEEE Computer Society Press.

Kristoffersen, K. J. ; Laroussinie, F. ; Larsen, Kim Guldstrand et al. / A Compositional Proof of a Real-Time Mutual Exclusion Protocol. TAPSOFT'97, Theory and Practice of Software Development : Proceedings of the 7th International Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997: Lecture Notes in Computer Science. editor / Bidoit, Michel : Dauchet, Max (eds.). 1214. ed. IEEE Computer Society Press, 1997.

@inproceedings{1087b7409c2e11db8ed6000ea68e967b,

title = "A Compositional Proof of a Real-Time Mutual Exclusion Protocol",

author = "Kristoffersen, {K. J.} and F. Laroussinie and Larsen, {Kim Guldstrand} and P. Pettersson and W. Yi",

note = "ISSN ; 0302-8743; A Compositional Proof of a Real-Time Mutual Exclusion Protocol ; Conference date: 19-05-2010",

year = "1997",

language = "English",

isbn = "3540627812",

editor = "{Bidoit, Michel : Dauchet, Max (eds.)}",

booktitle = "TAPSOFT'97, Theory and Practice of Software Development : Proceedings of the 7th International Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997",

publisher = "IEEE Computer Society Press",

address = "United States",

edition = "1214",

}

Kristoffersen, KJ, Laroussinie, F, Larsen, KG, Pettersson, P & Yi, W 1997, A Compositional Proof of a Real-Time Mutual Exclusion Protocol. in Bidoit, Michel : Dauchet, Max (eds.) (ed.), TAPSOFT'97, Theory and Practice of Software Development : Proceedings of the 7th International Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997: Lecture Notes in Computer Science. 1214 edn, IEEE Computer Society Press, A Compositional Proof of a Real-Time Mutual Exclusion Protocol, 19/05/2010.

A Compositional Proof of a Real-Time Mutual Exclusion Protocol. / Kristoffersen, K. J.; Laroussinie, F.; Larsen, Kim Guldstrand et al.
TAPSOFT'97, Theory and Practice of Software Development : Proceedings of the 7th International Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997: Lecture Notes in Computer Science. ed. / Bidoit, Michel : Dauchet, Max (eds.). 1214. ed. IEEE Computer Society Press, 1997.

Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

TY - GEN

T1 - A Compositional Proof of a Real-Time Mutual Exclusion Protocol

AU - Kristoffersen, K. J.

AU - Laroussinie, F.

AU - Larsen, Kim Guldstrand

AU - Pettersson, P.

AU - Yi, W.

N1 - ISSN ; 0302-8743

PY - 1997

Y1 - 1997

M3 - Article in proceeding

SN - 3540627812

BT - TAPSOFT'97, Theory and Practice of Software Development : Proceedings of the 7th International Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997

A2 - Bidoit, Michel : Dauchet, Max (eds.), null

PB - IEEE Computer Society Press

T2 - A Compositional Proof of a Real-Time Mutual Exclusion Protocol

Y2 - 19 May 2010

ER -

Kristoffersen KJ, Laroussinie F, Larsen KG, Pettersson P, Yi W. A Compositional Proof of a Real-Time Mutual Exclusion Protocol. In Bidoit, Michel : Dauchet, Max (eds.), editor, TAPSOFT'97, Theory and Practice of Software Development : Proceedings of the 7th International Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997: Lecture Notes in Computer Science. 1214 ed. IEEE Computer Society Press. 1997