Concepedia

Joachim Parrow

JP

27

Publications

6.4K

Citations

18

H-Index

1989

Active since

Affiliations

Uppsala University(Current)

Swedish Institute

KTH Royal Institute of Technology

University of Warwick

University of Edinburgh

Joachim Parrow is an author at Uppsala University specializing in automated reasoning, engineering, and formal methods.

Top concepts

EngineeringAutomated ReasoningFormal MethodsComputer ScienceFormal VerificationVerificationMobile ComputingProgram AnalysisSoftware AnalysisSystem Software

Publications per year

1989–2016

27

Publications

27

A calculus of mobile processes, I

Robin Milner, Joachim Parrow, David Walker · Information and Computation · 1992 · 2.8K citations · Full text

Mobile Processes, Mobile Agent, Mobile Computing +2

A calculus of mobile processes, II

Robin Milner, Joachim Parrow, David Walker · Information and Computation · 1992 · 1.7K citations · Full text

Mathematical Programming, Mobile Processes, Engineering +5

The concurrency workbench

Rance Cleaveland, Joachim Parrow, Bernhard Steffen · ACM Transactions on Programming Languages and Systems · 1993 · 553 citations · Full text

Engineering, Verification, Computer Architecture +19

The fusion calculus: expressiveness and symmetry in mobile processes

Joachim Parrow, Björn Victor · 2002 · 205 citations

Engineering, Canonical Calculus, Operational Semantics +14

Modal logics for mobile processes

Robin Milner, Joachim Parrow, David Walker · Theoretical Computer Science · 1993 · 204 citations · Full text

Mobile Processes, Engineering, Mobile Interaction +9

Rows per page

1–5 of 27