Circus Time with Reactive Designs

Jim Woodcock; Kun Wei; Ana Lucia Caneca Cavalcanti

doi:10.1007/978-3-642-35705-3_3

Circus Time with Reactive Designs

Jim Woodcock, Kun Wei, Ana Lucia Caneca Cavalcanti

Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original language	English
Title of host publication	Unifying Theories of Programming
Publisher	Springer
Pages	68-87
DOIs	https://doi.org/10.1007/978-3-642-35705-3_3
Publication status	Published - 2012
Event	4th International Symposium on Unifying Theories of Programming (UTP 2012) - Paris, France Duration: 27 Aug 2012 → 28 Aug 2012

Publication series

Name	Lecture Notes in Computer Science
Volume	7681

Conference

Conference	4th International Symposium on Unifying Theories of Programming (UTP 2012)
Country/Territory	France
City	Paris
Period	27/08/12 → 28/08/12

Access to Document

10.1007/978-3-642-35705-3_3

hiJaC: HIJAC: High-Integrity Java applications using circus
Cavalcanti, A. L. C., Wellings, A. J. & Woodcock, J.
EPSRC
22/06/10 → 30/10/15
Project: Research project (funded) › Research
ProCLaws: Programming from Control Laws
Cavalcanti, A. L. C.
EPSRC
1/07/07 → 30/09/11
Project: Research project (funded) › Research

Cite this

@inproceedings{52e28eb01da24f5fa33635185e1b6908,

title = "Circus Time with Reactive Designs",

author = "Jim Woodcock and Kun Wei and Cavalcanti, {Ana Lucia Caneca}",

year = "2012",

doi = "10.1007/978-3-642-35705-3_3",

language = "English",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "68--87",

booktitle = "Unifying Theories of Programming",

address = "Germany",

note = "4th International Symposium on Unifying Theories of Programming (UTP 2012) ; Conference date: 27-08-2012 Through 28-08-2012",

}

TY - GEN

T1 - Circus Time with Reactive Designs

AU - Woodcock, Jim

AU - Wei, Kun

AU - Cavalcanti, Ana Lucia Caneca

PY - 2012

Y1 - 2012

U2 - 10.1007/978-3-642-35705-3_3

DO - 10.1007/978-3-642-35705-3_3

M3 - Conference contribution

T3 - Lecture Notes in Computer Science

SP - 68

EP - 87

BT - Unifying Theories of Programming

PB - Springer

T2 - 4th International Symposium on Unifying Theories of Programming (UTP 2012)

Y2 - 27 August 2012 through 28 August 2012

ER -

Circus Time with Reactive Designs

Publication series

Conference

Access to Document

Projects

hiJaC: HIJAC: High-Integrity Java applications using circus

ProCLaws: Programming from Control Laws

Cite this