Modelling component  behaviour with concurrent automata

Sotiris Moschoyiannis; MW Shields; PJ Krause

doi:10.1016/j.entcs.2005.04.035

Modelling component behaviour with concurrent automata

Sotiris Moschoyiannis, MW Shields, PJ Krause

Computer Science

Research output: Contribution to conference (unpublished) › Paper

9 Citations (Scopus)

Original language	English
Pages	199-220
Number of pages	22
DOIs	https://doi.org/10.1016/j.entcs.2005.04.035
Publication status	Published - 1 Dec 2005
Event	ETAPS 2005 Workshop on Formal Foundations of Embedded Software and Component-based Software Architectures (FESCA '05) - Duration: 1 Dec 2005 → …

Conference

Conference	ETAPS 2005 Workshop on Formal Foundations of Embedded Software and Component-based Software Architectures (FESCA '05)
Period	1/12/05 → …

Access to Document

10.1016/j.entcs.2005.04.035

Cite this

@conference{b99536d9e9cb4f80b60378675ece6148,

title = "Modelling component behaviour with concurrent automata",

author = "Sotiris Moschoyiannis and MW Shields and PJ Krause",

year = "2005",

month = dec,

day = "1",

doi = "10.1016/j.entcs.2005.04.035",

language = "English",

pages = "199--220",

note = "ETAPS 2005 Workshop on Formal Foundations of Embedded Software and Component-based Software Architectures (FESCA '05) ; Conference date: 01-12-2005",

}

TY - CONF

T1 - Modelling component behaviour with concurrent automata

AU - Moschoyiannis, Sotiris

AU - Shields, MW

AU - Krause, PJ

PY - 2005/12/1

Y1 - 2005/12/1

UR - http://www.scopus.com/inward/record.url?scp=27944502869&partnerID=8YFLogxK

U2 - 10.1016/j.entcs.2005.04.035

DO - 10.1016/j.entcs.2005.04.035

M3 - Paper

SP - 199

EP - 220

T2 - ETAPS 2005 Workshop on Formal Foundations of Embedded Software and Component-based Software Architectures (FESCA '05)

Y2 - 1 December 2005

ER -