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

• 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)