Coalgebraic component specification and verification in RSL

Sun Meng, Bernhard Aichernig, Zhang Naixiao

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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