Towards a design-oriented theory of computational artifacts in cooperative work practices

  • Hildebrandt, Thomas (PI)
  • Normann, Håkon (CoI)
  • Slaats, Tijs (CoI)

Projekter: Projekt › Forskning

  • 2 Konferencebidrag i proceedings
  • 2 Konferenceartikel
  • 1 Tidsskriftartikel
Filter
Konferencebidrag i proceedings

Søgeresultater

  • 2015

    Safety, Liveness and Run-time Refinement for Modular Process-Aware Information Systems with Dynamic Sub Processes

    Debois, S., Hildebrandt, T. & Slaats, T., 2015, FM 2015: Formal Methods: 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings. Bjørner, N. & de Boer, F. (red.). Springer, s. 143-160 18 s. (Lecture Notes in Computer Science, Bind 9109).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil
  • 2014

    Concurrency Models with Causality and Events as Psi-calculi

    Hildebrandt, T., Prisacariu, C. & Norman, H., 2014, Proceedings 7th Interaction and Concurrency Experience. Lanese, I., Lluch-Lafuente, A., Sokolova, A. & Vieira, H. T. (red.). Bind 166. s. 4-20 17 s. (Electronic Proceedings in Theoretical Computer Science. EPTCS, Bind 166).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review