Joachim Parrow

E807606

Joachim Parrow is a computer scientist known for his foundational work in concurrency theory and as a co-creator of the π-calculus.

All labels observed (1)

Label Occurrences
Joachim Parrow canonical 1

How this entity was disambiguated

Statements (23)

Predicate Object
instanceOf computer scientist
affiliation Uppsala University NERFINISHED
coCreatorOf π-calculus NERFINISHED
collaboratedWith Davide Sangiorgi NERFINISHED
Robin Milner NERFINISHED
field computer science
concurrency theory
process calculi
hasContribution advancing the theory of process calculi
applications of π-calculus to concurrent systems modeling
development of theoretical foundations for mobile processes
knownFor co-creating the π-calculus
foundational work in concurrency theory
research on mobile processes
work on process algebras
language English
Swedish
nationality Swedish
occupation professor
researchArea formal methods
mobile computation
process semantics
semantics of concurrent systems

How these facts were elicited

Referenced by (1)

Full triples — surface form annotated when it differs from this entity's canonical label.

π-calculus coCreator Joachim Parrow