Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Jan Friso Groote
Problem Solving Using Process Algebra Considered Insightful
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Modeling and Analysis of Communicating Systems
The Meaning of Negative Premises in Transition System Specifications
Journal of the ACM
Control
Systems Engineering
Information Systems
Hardware
Architecture
Artificial Intelligence
Software
A Complete Equational Axiomatization for MPA With String Iteration
Theoretical Computer Science
Computer Science
Theoretical Computer Science
The Parallel Composition of Uniform Processes With Data
Theoretical Computer Science
Computer Science
Theoretical Computer Science
Solving Disjunctive/Conjunctive Boolean Equation Systems With Alternating Fixed Points
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Verifying a Sliding Window Protocol in μCRL
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Verification of Networks of Timed Automata Using mCRL2
2008 IEEE International Symposium on Parallel and Distributed Processing
Evaluation of a Business Continuity Plan Using Process Algebra and Modal Logic
Transition System Specifications With Negative Premises
