Thomas Troels Hildebrandt

Thomas Troels Hildebrandt

Professor

Member of:

    ORCID: 0000-0002-7435-5563

    Publication year:
    All
    1 - 4 out of 4Page size: 10
    1. 2008

    2. Formalizing WS-BPEL and Higher Order Mobile Embedded Business Processes in the Bigraphical Programming Languages (BPL) Tool

      Bundgaard, M., Glenstrup, A. J., Hildebrandt, Thomas Troels, Højsgaard, E. & Niss, H., 2008, Copenhagen: IT-Universitetet i København. 45 p. (I T University. Technical Report Series; No. TR-2008-103).

      Research output: Book/Report › Report › Research

    3. On Encoding the Pi-calculus in Higher-Order Calculi

      Bundgaard, M., Hildebrandt, Thomas Troels & Godskesen, J. C., 2008, IT University of Copenhagen: IT-Universitetet i København. 24 p. (I T University. Technical Report Series).

      Research output: Book/Report › Report › Research

    4. Preliminary Proceedings 15th International Workshop on Expressiveness in Concurrency: EXPRESS'08 Toronto, Canada 23 August 2008

      Gorla, D. (ed.) & Hildebrandt, Thomas Troels (ed.), 2008, Copenhagen: IT-Universitetet i København. 127 p. (I T University. Technical Report Series; No. TR-2008-108).

      Research output: Book/Report › Report › Research

    5. Type Systems for Bigraphs

      Elsborg, E., Hildebrandt, Thomas Troels & Sangiorgi, D., 2008, Copenhagen: IT-Universitetet i København. 39 p. (I T University. Technical Report Series; No. TR-2008-110).

      Research output: Book/Report › Report › Research

    ID: 191341554