Joachim Parrow

Uppsala University - Uppsala / Sweden

Engineering & Technology / Computer Science

AD Scientific Index ID: 1147380

Uppsala Universitet

Go Premium -
Unlock Full Profile Tools

Get Your Global Impact Certificate

Uppsala University

Joachim Parrow's MOST POPULAR ARTICLES

1-) A calculus of mobile processes, I Information and computation 100 (1), 1-40, 1992

2-) The concurrency workbench: A semantics-based tool for the verification of concurrent systems ACM Transactions on Programming Languages and Systems (TOPLAS) 15 (1), 36-72, 1993

3-) An introduction to the π-calculus Handbook of process algebra, 479-543, 2001

4-) The fusion calculus: Expressiveness and symmetry in mobile processes Proceedings. Thirteenth Annual IEEE Symposium on Logic in Computer Science …, 1998

5-) Modal logics for mobile processes Theoretical Computer Science 114 (1), 149-171, 1993

ARTICLES

Add your articles