Behavioural Types for Reliable Large-Scale Software Systems

Research output

Research output per year 2011 2011 2013 2013

• 1 Article in proceeding
• 1 Conference article in Journal

Research output per year

Research output per year

Search results

• 2013

  Types for resources in psi-calculi

  Hüttel, H., 2013, TGC 2013: 8th International Symposium on Trustworthy Global Computing (TGC 2013). Abadi, M. & Lluch Lafuente, A. (eds.). Springer Publishing Company, Vol. 8358. p. 83-102

  Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review
• 2011

  Typed ψ-calculi

  Hüttel, H., 2011, In: Lecture Notes in Computer Science. 6901, p. 265-279 15 p.

  Research output: Contribution to journal › Conference article in Journal › Research › peer-review
  11 Citations (Scopus)