Programming Logic and Semantics

  • PostadresseVis på kort

    Rued Langgaards Vej 7, 4C corridor, RLV

    2300 Copenhagen

    Danmark

Filter
Bidrag til bog/antologi

Søgeresultater

  • 2020

    Galois Connections for Recursive Types

    Al-Sibahi, A. S., Jensen, T. P., Møgelberg, R. E. & Wasowski, A., 2020, From Lambda Calculus to Cybersecurity Through Program Analysis. Springer, s. 105-131 (Lecture Notes in Computer Science, Bind 12065).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Bidrag til bog/antologi › Forskning › peer review

    Åben adgang
    Fil
  • 2017

    Hybrid Process Technologies in the Financial Sector: The Case of BRFkredit

    Debois, S., Hildebrandt, T., Marquard, M. & Slaats, T., 2017, Business Process Management Cases. Springer, s. 397-412 16 s. (Management for Professionals).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Bidrag til bog/antologi › Forskning › peer review

    Åben adgang
    Fil

  • The DCR Workbench: Declarative Choreographies for Collaborative Processes

    Debois, S. & Hildebrandt, T., 1 jun. 2017, Behavioural Types: from Theory to Tools. Gay, S. & Ravara, A. (red.). River Publishers, s. 99-124 26 s. (River Publishers Series in Automation, Control and Robotics).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Bidrag til bog/antologi › Forskning › peer review

    Åben adgang
  • 2016

    Cutting Out Continuations

    Bahr, P. & Hutton, G., 25 mar. 2016, A List of Successes That Can Change the World: Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday. Springer Publishing Company, Bind 9600. s. 187-200 (Lecture Notes in Computer Science, Bind 9600).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Bidrag til bog/antologi › Forskning › peer review

  • Expert System

    Hildebrandt, T. T. & Cattani, G. L., 23 okt. 2016, The International Encyclopedia of Communication Theory and Philosophy. Jensen, K. B., Craig, R. T., Pooley, J. D. & Rothenbuhler, E. W. (red.). Wiley, Bind 1-4. (The Wiley Blackwell-ICA International Encyclopedias of Communication).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Bidrag til bog/antologi › Formidling

  • 2014

    Service-oriented Programming with Jolie

    Montesi, F., Guidi, C. & Zavattaro, G., 2014, Web Services Foundations. Springer

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Bidrag til bog/antologi › Forskning › peer review

  • 2013

    Compositional Choreographies

    Montesi, F. & Yoshida, N., 2013, CONCUR 2013 – Concurrency Theory . Springer, Bind 8052. s. 425-439 (Lecture Notes in Computer Science).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Bidrag til bog/antologi › Forskning › peer review

  • Dynamic Condition Response Graphs for Trustworthy Adaptive Case Management

    Mukkamala, R. R., Hildebrandt, T., Slaats, T. & Marquard, M., 2013, On the Move to Meaningful Internet Systems. Springer, Bind 8186. s. 166-171 (Lecture Notes in Computer Science).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Bidrag til bog/antologi › Forskning › peer review

  • Exformatics Declarative Case Management Workflows as DCR Graphs

    Slaats, T., Mukkamala, R. R., Hildebrandt, T. & Marquard, M., 2013, Exformatics Declarative Case Management Workflows as DCR Graphs. Springer, Bind 8094. s. 339-354 (Lecture Notes in Computer Science, Bind 8094).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Bidrag til bog/antologi › Forskning › peer review

    Fil

  • Mixing Paradigms for More Comprehensible Models

    Westergaard, M. & Slaats, T., 2013, Business Process Management. Springer, Bind 8094. s. 283-290 8 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Bidrag til bog/antologi › Forskning › peer review

    Åben adgang
    Fil

  • Trustworthy Pervasive Healthcare Services via Multi-party Session Types

    Bidragets oversatte titel: Trustworthy Pervasive Healthcare Services via Multi-party Session TypesHenriksen, A. S., Nielsen, L., Hildebrandt, T., Yoshida, N. & Henglein, F., 2013, Foundations of Health Information Engineering and Systems. Springer, Bind 7789. s. 124-141 (Lecture Notes in Computer Science).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Bidrag til bog/antologi › Forskning › peer review