J.A. Bergstra
Author
Alternate names J. Bergstra, J. A. Bergstra, Jan A. Bergstra, Jan Bergstra, Jan Aldert Bergstra +1 more
Institution University of Amsterdam
Past institutions University of Amsterdam, Swansea University, Utrecht University, Leiden University, Centrum Wiskunde & Informatica +5 more
ORCID: Yes
H-index: 44
I10-index: 183
Works count: 684
Citations count: 8,713
Process algebra for synchronous communication
1984 · J.A. Bergstra, Jan Willem Klop · Information and Control
Algebra of communicating processes with abstraction
1985 · J.A. Bergstra, Jan Willem Klop · Theoretical Computer Science
Conditional rewrite rules: Confluence and termination
1986 · J.A. Bergstra, Jan Willem Klop · Journal of Computer and System Sciences