Research output per year
Research output per year
Project Details
Description
COST Action IC121.
| Acronym | BETTY |
|---|---|
| Status | Finished |
| Effective start/end date | 01/10/2012 → 01/11/2015 |
Collaborative partners
- University of Glasgow (Project partner)
-
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-102Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review
-
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)