Dynamic coalgebraic modalities

H.H. Hansen, R.A. Leal

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

39 Downloads (Pure)

Abstract

No abstract.
Original languageEnglish
Title of host publicationShort contributions to the 10th International Workshop on Coalgebraic Methods in Computer Science (Paphos, Cyprus, March 26-28, 2010)
Place of PublicationAmsterdam
PublisherCentrum voor Wiskunde en Informatica
Pages12-13
Publication statusPublished - 2010

Publication series

NameCWI Report
VolumeSEN-1004
ISSN (Print)1386-369X

Cite this

Hansen, H. H., & Leal, R. A. (2010). Dynamic coalgebraic modalities. In Short contributions to the 10th International Workshop on Coalgebraic Methods in Computer Science (Paphos, Cyprus, March 26-28, 2010) (pp. 12-13). (CWI Report; Vol. SEN-1004). Centrum voor Wiskunde en Informatica.