Distributed, Embedded and Intelligent Systems

  • Selma Lagerlöfs Vej 300, Cassiopeia

    9220 Aalborg

    Danmark

Publikationer

Filter
Konferenceabstrakt til konference
2012

A Metric Analogue of Stone Duality for Markov Processes

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

Publikation: Konferencebidrag uden forlag/tidsskriftKonferenceabstrakt til konferenceForskningpeer review

Stone Duality for Markov Processes

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

Publikation: Konferencebidrag uden forlag/tidsskriftKonferenceabstrakt til konferenceForskningpeer review

2010

An Interface Theory for Timed Systems

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

Publikation: Konferencebidrag uden forlag/tidsskriftKonferenceabstrakt til konferenceForskningpeer review

Åben adgang
Fil
76 Downloads (Pure)
2008

How to pull back open maps along semantics functors

Fahrenberg, U., 2008.

Publikation: Konferencebidrag uden forlag/tidsskriftKonferenceabstrakt til konferenceForskningpeer review