Programming Logic and Semantics

  • Postal addressShow on map

    4C corridor

    2300 Copenhagen

    Denmark

Filter
Book chapter

Search results

  • 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, p. 105-131 (Lecture Notes in Computer Science, Vol. 12065).

    Research output: Conference Article in Proceeding or Book/Report chapter › Book chapter › Research › peer-review

    Open Access
    File
  • 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, p. 397-412 16 p. (Management for Professionals).

    Research output: Conference Article in Proceeding or Book/Report chapter › Book chapter › Research › peer-review

    Open Access
    File

  • 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. (eds.). River Publishers, p. 99-124 26 p. (River Publishers Series in Automation, Control and Robotics).

    Research output: Conference Article in Proceeding or Book/Report chapter › Book chapter › Research › peer-review

    Open Access
  • 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, Vol. 9600. p. 187-200 (Lecture Notes in Computer Science, Vol. 9600).

    Research output: Conference Article in Proceeding or Book/Report chapter › Book chapter › Research › peer-review

  • Expert System

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

    Research output: Conference Article in Proceeding or Book/Report chapter › Book chapter › Communication

  • 2014

    Service-oriented Programming with Jolie

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

    Research output: Conference Article in Proceeding or Book/Report chapter › Book chapter › Research › peer-review

  • 2013

    Compositional Choreographies

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

    Research output: Conference Article in Proceeding or Book/Report chapter › Book chapter › Research › 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, Vol. 8186. p. 166-171 (Lecture Notes in Computer Science).

    Research output: Conference Article in Proceeding or Book/Report chapter › Book chapter › Research › 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, Vol. 8094. p. 339-354 (Lecture Notes in Computer Science, Vol. 8094).

    Research output: Conference Article in Proceeding or Book/Report chapter › Book chapter › Research › peer-review

    File

  • Mixing Paradigms for More Comprehensible Models

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

    Research output: Conference Article in Proceeding or Book/Report chapter › Book chapter › Research › peer-review

    Open Access
    File

  • Trustworthy Pervasive Healthcare Services via Multi-party Session Types

    Henriksen, A. S., Nielsen, L., Hildebrandt, T., Yoshida, N. & Henglein, F., 2013, Foundations of Health Information Engineering and Systems. Springer, Vol. 7789. p. 124-141 (Lecture Notes in Computer Science).

    Research output: Conference Article in Proceeding or Book/Report chapter › Book chapter › Research › peer-review