Behavioural Types for Reliable Large-Scale Software Systems

  • 1 Konferenceartikel i proceeding
  • 1 Konferenceartikel i tidsskrift
Filter
Konferenceartikel i proceeding

Søgeresultater

  • 2013

    Types for resources in psi-calculi

    Bidragets oversatte titel: Typer for resurser i Ψ-kalkylerHüttel, H., 2013, TGC 2013: 8th International Symposium on Trustworthy Global Computing (TGC 2013). Abadi, M. & Lluch Lafuente, A. (red.). Springer Publishing Company, Bind 8358. s. 83-102

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review