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 ⓘ
coCreatorOf π-calculus ⓘ
collaboratedWith Davide Sangiorgi ⓘ
Robin Milner ⓘ
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 ⓘ