Travelled to:1 × Uruguay
Collaborated with:J.Parrow J.Borgström S.Huang M.Johansson P.Raabjerg B.Victor
Talks about:broadcast (1) wireless (1) protocol (1) parallel (1) composit (1) monoton (1) express (1) calculi (1) applic (1) power (1)
Person: Johannes Åman Pohjola
DBLP: Pohjola:Johannes_=Aring=man
Contributed to:
2011
2016Wrote 2 papers:
- SEFM-2011-BorgstromHJRVPP #calculus #protocol
- Broadcast Psi-calculi with an Application to Wireless Protocols (JB, SH, MJ, PR, BV, JÅP, JP), pp. 74–89.
- ESOP-2016-PohjolaP #composition #parallel #power of
- The Expressive Power of Monotonic Parallel Composition (JÅP, JP), pp. 780–803.