Distributed, Embedded and Intelligent Systems

  • Selma Lagerlöfs Vej 300, Cassiopeia

    9220 Aalborg

    Denmark

Research Output 1989 2019

Filter
Conference abstract for conference
2012

A Metric Analogue of Stone Duality for Markov Processes

Larsen, K. G., Mardare, R. I. & Panangaden, P., 2012.

Research output: Contribution to conference without publisher/journalConference abstract for conferenceResearchpeer-review

Stone Duality for Markov Processes

Larsen, K. G., Mardare, R. I. & Panangaden, P., 2012. 2 p.

Research output: Contribution to conference without publisher/journalConference abstract for conferenceResearchpeer-review

2010
71 Downloads (Pure)

An Interface Theory for Timed Systems

David, A., Larsen, K. G., Legay, A., Nyman, U. & Wasowski, A., 2010.

Research output: Contribution to conference without publisher/journalConference abstract for conferenceResearchpeer-review

Open Access
File
2008

How to pull back open maps along semantics functors

Fahrenberg, U., 2008.

Research output: Contribution to conference without publisher/journalConference abstract for conferenceResearchpeer-review