I work in the group on Theory for Concurrent Systems. My main area is formal methods! In particular I work on the pi-calculus and extensions.
Professor in Computing Science, Uppsala University. Verifierad e-postadress på it.uu.se. Computer Science.
Joachim Parrow works in the general area of formal methods for concurrent and distributed systems, mainly process algebraic formalisms and related logics and ...
Joachim Parrow
Affiliation: Uppsala University
Research interests: Computer Science
Oct 7, 2024 · List of computer science publications by Joachim Parrow.
Logic Parallel computing models Lambda calculus Development frameworks and environments Formal language definitions Formal languages and automata theory ...
Joachim Parrow's 86 research works with 8531 citations, including: Modal Logics for Nominal Transition Systems.
Affiliations: [Department of Information Technology, University of Uppsala, Sweden].
Parrow, Joachim. Uppsala University, Disciplinary Domain of Science and Technology, Mathematics and Computer Science, Department of Information Technology, ...
Joachim Parrow. Ph.D. Uppsala Universitet 1986 Sweden. Dissertation: Fairness properties in process algebra. Advisor: Unknown. Student: Name, School, Year ...