State maps of general behaviors, their lattice structure and bisimulations

A.A.J. Anak Agung Julius; Arjan van der Schaft

State maps of general behaviors, their lattice structure and bisimulations

A.A.J. Anak Agung Julius, Arjan van der Schaft

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

47 Downloads (Pure)

Original language	Undefined
Title of host publication	Proceedings of the 16th International Symposium on Mathematical Theory of Networks and Systems
Place of Publication	Leuven
Publisher	Katholieke Universiteit Leuven
Pages	-
Number of pages	22
ISBN (Print)	9056825178
Publication status	Published - 2004
Event	16th International Symposium on Mathematical Theory of Networks and Systems, MTNS 2004 - Leuven, Belgium Duration: 5 Jul 2004 → 9 Jul 2004 Conference number: 16

Publication series

Name
Publisher	Katholieke Universiteit Leuven

Conference

Conference	16th International Symposium on Mathematical Theory of Networks and Systems, MTNS 2004
Abbreviated title	MTNS
Country/Territory	Belgium
City	Leuven
Period	5/07/04 → 9/07/04

Keywords

IR-69159
METIS-220138
EWI-16810

Access to Document

julius-schaft-2

Cite this

@inproceedings{921d21bd65a74848a28399302d720317,

title = "State maps of general behaviors, their lattice structure and bisimulations",

keywords = "IR-69159, METIS-220138, EWI-16810",

author = "{Anak Agung Julius}, A.A.J. and {van der Schaft}, Arjan",

year = "2004",

language = "Undefined",

isbn = "9056825178",

publisher = "Katholieke Universiteit Leuven",

pages = "--",

booktitle = "Proceedings of the 16th International Symposium on Mathematical Theory of Networks and Systems",

note = "16th International Symposium on Mathematical Theory of Networks and Systems, MTNS 2004 ; Conference date: 05-07-2004 Through 09-07-2004",

}

Anak Agung Julius, AAJ & van der Schaft, A 2004, State maps of general behaviors, their lattice structure and bisimulations. in Proceedings of the 16th International Symposium on Mathematical Theory of Networks and Systems. Katholieke Universiteit Leuven, Leuven, pp. -, 16th International Symposium on Mathematical Theory of Networks and Systems, MTNS 2004, Leuven, Belgium, 5/07/04.

State maps of general behaviors, their lattice structure and bisimulations. / Anak Agung Julius, A.A.J.; van der Schaft, Arjan.
Proceedings of the 16th International Symposium on Mathematical Theory of Networks and Systems. Leuven: Katholieke Universiteit Leuven, 2004. p. -.

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

TY - GEN

T1 - State maps of general behaviors, their lattice structure and bisimulations

AU - Anak Agung Julius, A.A.J.

AU - van der Schaft, Arjan

N1 - Conference code: 16

PY - 2004

Y1 - 2004

KW - IR-69159

KW - METIS-220138

KW - EWI-16810

M3 - Conference contribution

SN - 9056825178

SP - -

BT - Proceedings of the 16th International Symposium on Mathematical Theory of Networks and Systems

PB - Katholieke Universiteit Leuven

CY - Leuven

T2 - 16th International Symposium on Mathematical Theory of Networks and Systems, MTNS 2004

Y2 - 5 July 2004 through 9 July 2004

ER -