External Behaviour of Systems of State Machines with Variables

Antti Valmari

doi:10.1007/978-3-642-38143-0_7

External Behaviour of Systems of State Machines with Variables

Antti Valmari

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

Translated title of the contribution	External Behaviour of Systems of State Machines with Variables
Original language	English
Title of host publication	The 5th Advanced Course on Petri Nets, September 2010, Rostock, Germany, Transactions on Petri Nets and Other Models of Concurrency VII.
Editors	Kurt Jensen, Wil M. P. van der Aalst, Gianfranco Balbo, Maciej Koutny, Karsten Wolf
Place of Publication	Berlin, Heidelberg
Publisher	Springer
Pages	255-299
Number of pages	45
ISBN (Electronic)	978-3-642-38143-0
ISBN (Print)	978-3-642-38142-3
DOIs	https://doi.org/10.1007/978-3-642-38143-0_7
Publication status	Published - 2013
Publication type	A4 Article in conference proceedings

Publication series

Name	Lecture Notes in Computer Science
Volume	7480
ISSN (Print)	0302-9743

Publication forum classification

Publication forum level 1

Access to Document

10.1007/978-3-642-38143-0_7

Cite this

Valmari, A. (2013). External Behaviour of Systems of State Machines with Variables. In K. Jensen, W. M. P. van der Aalst, G. Balbo, M. Koutny, & K. Wolf (Eds.), The 5th Advanced Course on Petri Nets, September 2010, Rostock, Germany, Transactions on Petri Nets and Other Models of Concurrency VII. (pp. 255-299). (Lecture Notes in Computer Science; Vol. 7480). Springer. https://doi.org/10.1007/978-3-642-38143-0_7

Valmari, Antti. / External Behaviour of Systems of State Machines with Variables. The 5th Advanced Course on Petri Nets, September 2010, Rostock, Germany, Transactions on Petri Nets and Other Models of Concurrency VII.. editor / Kurt Jensen ; Wil M. P. van der Aalst ; Gianfranco Balbo ; Maciej Koutny ; Karsten Wolf. Berlin, Heidelberg : Springer, 2013. pp. 255-299 (Lecture Notes in Computer Science).

@inproceedings{f457d22c52e94e49b4c041fe9ee0ff02,

title = "External Behaviour of Systems of State Machines with Variables",

author = "Antti Valmari",

note = "poistettu tupla r=1127 Contribution: organisation=mat,FACT1=1 Portfolio EDEND: 2013-11-29 Publisher name: Springer",

year = "2013",

doi = "10.1007/978-3-642-38143-0\_7",

language = "English",

isbn = "978-3-642-38142-3",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "255--299",

editor = "Kurt Jensen and \{van der Aalst\}, \{Wil M. P.\} and Gianfranco Balbo and Maciej Koutny and Karsten Wolf",

booktitle = "The 5th Advanced Course on Petri Nets, September 2010, Rostock, Germany, Transactions on Petri Nets and Other Models of Concurrency VII.",

}

Valmari, A 2013, External Behaviour of Systems of State Machines with Variables. in K Jensen, WMP van der Aalst, G Balbo, M Koutny & K Wolf (eds), The 5th Advanced Course on Petri Nets, September 2010, Rostock, Germany, Transactions on Petri Nets and Other Models of Concurrency VII.. Lecture Notes in Computer Science, vol. 7480, Springer, Berlin, Heidelberg, pp. 255-299. https://doi.org/10.1007/978-3-642-38143-0_7

External Behaviour of Systems of State Machines with Variables. / Valmari, Antti.
The 5th Advanced Course on Petri Nets, September 2010, Rostock, Germany, Transactions on Petri Nets and Other Models of Concurrency VII.. ed. / Kurt Jensen; Wil M. P. van der Aalst; Gianfranco Balbo; Maciej Koutny; Karsten Wolf. Berlin, Heidelberg: Springer, 2013. p. 255-299 (Lecture Notes in Computer Science; Vol. 7480).

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

TY - GEN

T1 - External Behaviour of Systems of State Machines with Variables

AU - Valmari, Antti

N1 - poistettu tupla r=1127 Contribution: organisation=mat,FACT1=1 Portfolio EDEND: 2013-11-29 Publisher name: Springer

PY - 2013

Y1 - 2013

U2 - 10.1007/978-3-642-38143-0_7

DO - 10.1007/978-3-642-38143-0_7

M3 - Conference contribution

SN - 978-3-642-38142-3

T3 - Lecture Notes in Computer Science

SP - 255

EP - 299

BT - The 5th Advanced Course on Petri Nets, September 2010, Rostock, Germany, Transactions on Petri Nets and Other Models of Concurrency VII.

A2 - Jensen, Kurt

A2 - van der Aalst, Wil M. P.

A2 - Balbo, Gianfranco

A2 - Koutny, Maciej

A2 - Wolf, Karsten

PB - Springer

CY - Berlin, Heidelberg

ER -

Valmari A. External Behaviour of Systems of State Machines with Variables. In Jensen K, van der Aalst WMP, Balbo G, Koutny M, Wolf K, editors, The 5th Advanced Course on Petri Nets, September 2010, Rostock, Germany, Transactions on Petri Nets and Other Models of Concurrency VII.. Berlin, Heidelberg: Springer. 2013. p. 255-299. (Lecture Notes in Computer Science). doi: 10.1007/978-3-642-38143-0_7