J
Joachim Parrow
Researcher at Uppsala University
Publications - 83
Citations - 8644
Joachim Parrow is an academic researcher from Uppsala University. The author has contributed to research in topics: Bisimulation & Process calculus. The author has an hindex of 29, co-authored 83 publications receiving 8480 citations. Previous affiliations of Joachim Parrow include University of Edinburgh & Information Technology University.
Papers
More filters
Journal ArticleDOI
A calculus of mobile processes, II
TL;DR: The a-calculus is presented, a calculus of communicating systems in which one can naturally express processes which have changing structure, including the algebraic theory of strong bisimilarity and strong equivalence, including a new notion of equivalence indexed by distinctions.
Journal ArticleDOI
A Calculus of Mobile Processes - Part II
TL;DR: The purpose of the present paper is to provide a detailed presentation of some of the theory of the calculus developed to date, and in particular to establish most of the results stated in the companion paper.
Journal ArticleDOI
The concurrency workbench: a semantics-based tool for the verification of concurrent systems
TL;DR: The Concurrency Workbench is an automated tool for analyzing networks of finite-state processes expressed in Milner's Calculus of Communicating Systems and a large number of interesting verification methods can be formulated as combinations of a small number of primitive algorithms.
Journal ArticleDOI
Modal logics for mobile processes
TL;DR: This paper first defines two forms of bisimulation equivalence for the\031-calculus, a process algebra which allows dynamic reconfiguration among processes; it then explores a family of possible logics, with different modal operators, and proves that two of these logics characterise the two bisimulations equivalences.
Proceedings ArticleDOI
The fusion calculus: expressiveness and symmetry in mobile processes
Joachim Parrow,Björn Victor +1 more
TL;DR: The fusion calculus of as mentioned in this paper is a generalization of the /spl pi/calculus with a new kind of action, fusion actions for emulating updates of a shared state, which is a significant step towards a canonical calculus of concurrency.