- A Bypass of Cohen's Impossibility Result Jan A. Bergstra1,2
- An Introduction to Program and Thread Algebra
- This article was published in an Elsevier journal. The attached copy is furnished to the author for non-commercial research and
- Process Algebra with Five-Valued Conditions Jan A. Bergstra 1;2 and Alban Ponse 1
- Informatics and Secondary Education in the Netherlands Karl de Leeuw
- THREAD ALGEBRA AND RISK ASSESSMENT SERVICES JAN A. BERGSTRA, INGE BETHKE, AND ALBAN PONSE
- Journal of Applied Logic 5 (2007) 170192 www.elsevier.com/locate/jal
- BRICSNS-03-3Acetoetal.(eds.):PA'03SlideReprints BRICSBasic Research in Computer Science
- The Journal of Logic and Algebraic Programming 51 (2002) 157174
- Information Processing Letters 80 (2001) 4149 Process algebra and conditional composition
- Process Algebra with Recursive Operations Jan Bergstra
- Process Algebra with Five-Valued Conditions Jan A. Bergstra1,2
- Information Processing Letters 67 (1998) 95103 Kleene's three-valued logic and process algebra
- ELSEVIER Science of Computer Programming 29 (1997) 199-233 Programming
- ELSEVIER Theoretical Computer Science 177 (1997) 487-507 Theoretical
- Formal Aspects of Computing (1996) 8:648 678 9 1996BCS Formal Aspects
- c British Computer Society 2002 Book Reviews
- Program Algebra with Repeat Instruction Jan A. Bergstra a;b and Alban Ponse a
- Interface Groups for Analytic Execution Architectures
- Theory Comput Syst (2008) 43: 563582 DOI 10.1007/s00224-007-9034-5
- Projection Semantics for Rigid Loops Jan A. Bergstra a;b Alban Ponse a
- One-Counter Threads Reachability and Action Forecasting
- Program Algebra with Repeat Instruction Jan A. Bergstra a,b
- Proposition Algebra JAN A. BERGSTRA and ALBAN PONSE, University of Amsterdam
- Information Processing Letters (2001) 41--49 Process algebra and conditional composition
- Theoretical Computer Science 269 (2001) 203229 www.elsevier.com/locate/tcs
- Interface Groups and Financial Transfer Architectures
- Decision Problems for Pushdown Threads Jan A. Bergstra 1;2 , Inge Bethke 1 , and Alban Ponse 1
- Interface Groups and Financial Transfer Architectures
- Frame-Based Process Logics J.A. BERGSTRA ANDA. PONSE
- Formal Aspects of Computing (1994) 6:115 164 @ 1994 BCS Formal Aspects
- Register-Machine Based Processes JAN A. BERGSTRA
- Process Algebra and Dynamic Logic Alban Ponse
- Notre Dame Journal of Formal Logic Volume 39, Number 4, Fall 1998
- An Introduction to Program and Thread Algebra
- Projection Semantics for Rigid Loops Jan A. Bergstra a,b
- Process Algebra and Dynamic Logic Alban Ponse
- Information Processing Letters 67 (1998) 95--103 Kleene's threevalued logic and process algebra
- Interface Groups for Analytic Execution Architectures
- Information Processing Letters (2001) 59--65 Equivalence recursive specifications process algebra
- Acta Informatica (2007) 44:7590 DOI 10.1007/s00236-007-0040-5
- The Journal of Logic and Algebraic Programming 51 (2002) 175192
- The Journal of Logic and Algebraic Programming 70 (2007) 222235 www.elsevier.com/locate/jlap
- Information Processing Letters 80 (2001) 5965 Equivalence of recursive specifications in process algebra
- Decision Problems for Pushdown Threads Jan A. Bergstra1,2
- A Generalization of ACP Using Belnap's Alban Ponse1
- Theoretical Computer Science 309 (2003) 313355 www.elsevier.com/locate/tcs
- This article appeared in a journal published by Elsevier. The attached copy is furnished to the author for internal non-commercial research
- Proposition algebra and short-circuit logic Jan A. Bergstra and Alban Ponse
