Discrete simulation of behavioural hybrid process calculus

T. Krilavicius; H. Schonenberg

Discrete simulation of behavioural hybrid process calculus

T. Krilavicius
, H. Schonenberg

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

95 Downloads (Pure)

Original language	English
Title of host publication	IFM 2005 Doctoral Symposium on Integrated Formal Methods (Eindhoven, The Netherlands, November 29, 2005)
Editors	J.M.T. Romijn, G. Smith, J.C. Pol, van de
Place of Publication	Eindhoven
Publisher	Technische Universiteit Eindhoven
Pages	33-38
Publication status	Published - 2005

Publication series

Name	Computer Science Reports
Volume	05-29
ISSN (Print)	0926-4515

Access to Document

Metis208786Final published version, 222 KB

Cite this

@inproceedings{3c1a862ef31b46b79b8636e45da656b1,

title = "Discrete simulation of behavioural hybrid process calculus",

author = "T. Krilavicius and H. Schonenberg",

year = "2005",

language = "English",

series = "Computer Science Reports",

publisher = "Technische Universiteit Eindhoven",

pages = "33--38",

editor = "J.M.T. Romijn and G. Smith and \{Pol, van de\}, J.C.",

booktitle = "IFM 2005 Doctoral Symposium on Integrated Formal Methods (Eindhoven, The Netherlands, November 29, 2005)",

}

Discrete simulation of behavioural hybrid process calculus. / Krilavicius, T.; Schonenberg, H.
IFM 2005 Doctoral Symposium on Integrated Formal Methods (Eindhoven, The Netherlands, November 29, 2005). ed. / J.M.T. Romijn; G. Smith; J.C. Pol, van de. Eindhoven: Technische Universiteit Eindhoven, 2005. p. 33-38 (Computer Science Reports; Vol. 05-29).

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

TY - GEN

T1 - Discrete simulation of behavioural hybrid process calculus

AU - Krilavicius, T.

AU - Schonenberg, H.

PY - 2005

Y1 - 2005

M3 - Conference contribution

T3 - Computer Science Reports

SP - 33

EP - 38

BT - IFM 2005 Doctoral Symposium on Integrated Formal Methods (Eindhoven, The Netherlands, November 29, 2005)

A2 - Romijn, J.M.T.

A2 - Smith, G.

A2 - Pol, van de, J.C.

PB - Technische Universiteit Eindhoven

CY - Eindhoven

ER -