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:
2003
1996
1993
1988
198719841983198219811980Wrote 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.