Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Joachim Parrow
A Sorted Semantic Framework for Applied Process Calculi
Logical Methods in Computer Science
Computer Science
Theoretical Computer Science
A Sorted Semantic Framework for Applied Process Calculi (Extended Abstract)
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Motivation and Grade Gap Related to Gender in a Programming Course
The Expressive Power of Parallelism
Future Generation Computer Systems
Hardware
Computer Networks
Software
Architecture
Communications
A Calculus of Mobile Processes, II
Information and Computation
Theoretical Computer Science
Computational Theory
Computer Science Applications
Information Systems
Mathematics
The Concurrency Workbench: A Semantics-Based Tool for the Verification of Concurrent Systems
ACM Transactions on Programming Languages and Systems
Software
An Algebraic Verification of a Mobile Network
Formal Aspects of Computing
Theoretical Computer Science
Software
Formalising the Π-Calculus Using Nominal Logic
Structural and Behavioural Equivalences of Networks
