Concurrent Scheduling of Event-B Models

Pontus Boström; Fredrik Degerlund; Kaisa Sere; Marina Walden

doi:10.4204/EPTCS.55.11

Concurrent Scheduling of Event-B Models

Pontus Boström, Fredrik Degerlund, Kaisa Sere, Marina Walden

Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review

1 Citation (Scopus)

Original language	Undefined/Unknown
Title of host publication	Proceedings 15th International Refinement Workshop
Editors	J Derrick, EA Boiten, S Reeves
Publisher	Open Publishing Association
Pages	166–182
DOIs	https://doi.org/10.4204/EPTCS.55.11
Publication status	Published - 2011
MoE publication type	A4 Article in a conference publication
Event	conference; 2011-06-20; 2011-06-20 - Duration: 20 Jun 2011 → 20 Jun 2011

Conference

Conference	conference; 2011-06-20; 2011-06-20
Period	20/06/11 → 20/06/11

Access to Document

10.4204/EPTCS.55.11

http://arxiv.org/pdf/1106.4100.pdf

DIJON: Distributed Jointly Operating Networks (Academy of Finland)
Walden, M., Sere, K., Plosila, J., Sandvik, P., Olszewska, M., Tsiopoulos, L., Dahlvik, M., Wiik, J., Laibinis, L., Neovius, M. & Lumme, K.
01/01/08 → 31/12/11
Project: Research Council of Finland/Other Research Councils

Cite this

@inproceedings{d26600963e3142b0aaa5de5d3828b6bb,

title = "Concurrent Scheduling of Event-B Models",

author = "Pontus Bostr{\"o}m and Fredrik Degerlund and Kaisa Sere and Marina Walden",

year = "2011",

doi = "10.4204/EPTCS.55.11",

language = "Odefinierat/ok{\"a}nt",

pages = "166–182",

editor = "J Derrick and EA Boiten and S Reeves",

booktitle = "Proceedings 15th International Refinement Workshop",

publisher = "Open Publishing Association",

note = "conference; 2011-06-20; 2011-06-20 ; Conference date: 20-06-2011 Through 20-06-2011",

}

TY - GEN

T1 - Concurrent Scheduling of Event-B Models

AU - Boström, Pontus

AU - Degerlund, Fredrik

AU - Sere, Kaisa

AU - Walden, Marina

PY - 2011

Y1 - 2011

U2 - 10.4204/EPTCS.55.11

DO - 10.4204/EPTCS.55.11

M3 - Konferensbidrag

SP - 166

EP - 182

BT - Proceedings 15th International Refinement Workshop

A2 - Derrick, J

A2 - Boiten, EA

A2 - Reeves, S

PB - Open Publishing Association

T2 - conference; 2011-06-20; 2011-06-20

Y2 - 20 June 2011 through 20 June 2011

ER -

Concurrent Scheduling of Event-B Models

Conference

Access to Document

Projects

DIJON: Distributed Jointly Operating Networks (Academy of Finland)

Cite this