Coalgebraic component specification and verification in RSL

Sun Meng, Bernhard Aichernig, Zhang Naixiao

Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-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 2005 → 8 Dec 2005

Conference

ConferenceInternational Conference on Parallel and Distributed Computing, Applications and Technologies
Country/TerritoryChina
CityDalian
Period5/12/05 → 8/12/05

  • Formal Methods

    Lucas, P., Lorber, F. L., Jöbstl, E. & Aichernig, B.

    1/01/95 → …

    Project: Research area

Cite this