Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by J. A. Bergstra
Instruction Sequence Processing Operators
Acta Informatica
Computer Networks
Software
Information Systems
Communications
Process Algebra With Asynchronous Communication Mechanisms
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
The State Operator in Real Time Process Algebra
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Strong Splitting Bisimulation Equivalence
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Non Interleaving Process Algebra
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Discrete Time Process Algebra
Formal Aspects of Computing
Theoretical Computer Science
Software
