Concepedia

J. A. Bergstra

JA

5

Publications

528

Citations

5

H-Index

1991

Active since

Affiliations

University of Amsterdam(Current)

Utrecht University

J. A. Bergstra is an author at University of Amsterdam specializing in system software, program analysis, and computer engineering.

Top concepts

Publications per year

1991–2018

5

Publications

5

Real time process algebra

J. C. M. Baeten, J. A. Bergstra · Formal Aspects of Computing · 1991 · 369 citations · Full text

Discrete time process algebra

J. C. M. Baeten, J. A. Bergstra · Formal Aspects of Computing · 1996 · 93 citations · Full text

Cancellation Meadows: A Generic Basis Theorem and Some Applications

J. A. Bergstra, I. Bethke, Alban Ponse · The Computer Journal · 2012 · 35 citations · Full text

Program Algebra for Component Code

J. A. Bergstra, M.E. Loots · Formal Aspects of Computing · 2000 · 20 citations · Full text

A short introduction to program algebra with instructions for Boolean registers

J. A. Bergstra, C.A. Middelburg · arXiv (Cornell University) · 2018 · 11 citations · Full text

, , +19

Rows per page

1–5 of 5