Coalgebraic component specification and verification in RSL

Sun Meng, Bernhard Aichernig, Zhang Naixiao

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Original languageEnglish
Title of host publicationInternational Conference on Parallel and Distributed Computing, Applications and Technologies
PublisherIEEE Computer Society
Pages424-426
Publication statusPublished - 2005
EventInternational Conference on Parallel and Distributed Computing, Applications and Technologies - Dalian, China
Duration: 5 Dec 20058 Dec 2005

Conference

ConferenceInternational Conference on Parallel and Distributed Computing, Applications and Technologies
CountryChina
CityDalian
Period5/12/058/12/05

Cite this

Meng, S., Aichernig, B., & Naixiao, Z. (2005). Coalgebraic component specification and verification in RSL. In International Conference on Parallel and Distributed Computing, Applications and Technologies (pp. 424-426). IEEE Computer Society.

Coalgebraic component specification and verification in RSL. / Meng, Sun; Aichernig, Bernhard; Naixiao, Zhang.

International Conference on Parallel and Distributed Computing, Applications and Technologies. IEEE Computer Society, 2005. p. 424-426.

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Meng, S, Aichernig, B & Naixiao, Z 2005, Coalgebraic component specification and verification in RSL. in International Conference on Parallel and Distributed Computing, Applications and Technologies. IEEE Computer Society, pp. 424-426, International Conference on Parallel and Distributed Computing, Applications and Technologies, Dalian, China, 5/12/05.
Meng S, Aichernig B, Naixiao Z. Coalgebraic component specification and verification in RSL. In International Conference on Parallel and Distributed Computing, Applications and Technologies. IEEE Computer Society. 2005. p. 424-426
Meng, Sun ; Aichernig, Bernhard ; Naixiao, Zhang. / Coalgebraic component specification and verification in RSL. International Conference on Parallel and Distributed Computing, Applications and Technologies. IEEE Computer Society, 2005. pp. 424-426
@inproceedings{331224fad91e439d8d858a00b38ef637,
title = "Coalgebraic component specification and verification in RSL",
author = "Sun Meng and Bernhard Aichernig and Zhang Naixiao",
year = "2005",
language = "English",
pages = "424--426",
booktitle = "International Conference on Parallel and Distributed Computing, Applications and Technologies",
publisher = "IEEE Computer Society",
address = "United States",

}

TY - GEN

T1 - Coalgebraic component specification and verification in RSL

AU - Meng, Sun

AU - Aichernig, Bernhard

AU - Naixiao, Zhang

PY - 2005

Y1 - 2005

M3 - Conference contribution

SP - 424

EP - 426

BT - International Conference on Parallel and Distributed Computing, Applications and Technologies

PB - IEEE Computer Society

ER -