`Travelled to:`

1 × Belgium

1 × Denmark

1 × France

1 × Germany

1 × Israel

1 × Spain

1 × Sweden

1 × The Netherlands

1 × United Kingdom

`Collaborated with:`

J.W.Klop J.V.Tucker I.Bethke ∅ A.Ponse J.C.M.Baeten T.B.Dinesh J.Field J.Heering J.W.d.Bakker J.C.Meyer

`Talks about:`

algebra (7) process (4) program (2) system (2) specif (2) recurs (2) type (2) time (2) data (2) characteris (1)

## Person: Jan A. Bergstra

### DBLP: Bergstra:Jan_A=

### Contributed to:

### Wrote 10 papers:

- ICALP-2003-BergstraB #algebra #equivalence #process
- Polarized Process Algebra and Program Equivalence (JAB, IB), pp. 1–21.
- ESOP-1996-BergstraDFH #compilation #tool support
- A Complete Transformational Toolkit for Compilers (JAB, TBD, JF, JH), pp. 92–107.
- CSL-1993-BergstraBP #algebra #combinator #process
- Process Algebra with Combinators (JAB, IB, AP), pp. 36–65.
- ALP-1988-Bergstra
- ACP with Signals (JAB), pp. 11–20.
- RTA-1987-BaetenBK #term rewriting
- Term Rewriting Systems with Priorities (JCMB, JAB, JWK), pp. 83–94.
- ICALP-1984-BergstraK #algebra #process #recursion
- The Algebra of Recursively Defined Processes and the Algebra of Regular Processes (JAB, JWK), pp. 82–94.
- ICALP-1983-BakkerBKM #branch #linear #recursion #semantics
- Linear Time and Branching Time Semantics for Recursion with Merge (JWdB, JAB, JWK, JJCM), pp. 39–51.
- ICALP-1982-BergstraK #algebra #data type #parametricity #specification
- Algebraic Specifications for Parametrized Data Types with Minimal Parameter and Target Algebras (JAB, JWK), pp. 23–34.
- ICALP-1981-BergstraT #algebra #hoare #logic #programming
- Algebraically Specified Programming Systems and Hoare’s Logic (JAB, JVT), pp. 348–362.
- ICALP-1980-BergstraT #data type #equation #finite #specification
- A Characterisation of Computable Data Types by Means of a Finite Equational Specification Method (JAB, JVT), pp. 76–90.