Jan Aldert Bergstra
Jan Aldert Bergstra
professor of informatics, Institute of Informatics, University of Amsterdam NL
Geverifieerd e-mailadres voor uva.nl - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
Process algebra for synchronous communication
JA Bergstra, JW Klop
Information and control 60 (1-3), 109-137, 1984
13281984
Algebra of communicating processes with abstraction
JA Bergstra, JW Klop
Theoretical computer science 37, 77-121, 1985
9801985
Handbook of process algebra
JA Bergstra, A Ponse, SA Smolka
Elsevier, 2001
8002001
Real time process algebra
JCM Baeten, JA Bergstra
Formal Aspects of Computing 3 (2), 142-188, 1991
5471991
Algebraic specification
JA Bergstra
ACM, 1989
4671989
Conditional rewrite rules: Confluence and termination
JA Bergstra, JW Klop
Journal of Computer and System Sciences 32 (3), 323-362, 1986
3151986
Module algebra
JA Bergstra, J Heering, P Klint
Journal of the ACM (JACM) 37 (2), 335-372, 1990
2531990
Syntax and defining equations for an interrupt mechanism in process algebra
JA Bergstra, JCM Baeten, JW Klop
Fundamenta informaticae: quarterly 9, 127-167, 1986
2441986
On the consistency of Koomen's fair abstraction rule
JCM Baeten, JA Bergstra, JW Klop
Theoretical Computer Science 51 (1-2), 129-176, 1987
2061987
The algebra of recursively defined processes and the algebra of regular processes
JA Bergstra, JW Klop
International Colloquium on Automata, Languages, and Programming, 82-94, 1984
2041984
Algebra of communicating processes
JA Bergstra, JW Klop
CWI Monograph series 3, 89-138, 1986
1861986
Handbook of Process Algebra
SA Smolka, JA Bergstra, A Ponse
Elsevier, 2001
1822001
The discrete time TOOLBUS—a software coordination architecture
JA Bergstra, P Klint
Science of Computer Programming 31 (2-3), 205-229, 1998
1671998
Algebraic specifications of computable and semi-computable data structures
JA Bergstra, JV Tucker
Theoretical Computer Science: the journal of the EATCS 50 (2), 137-181, 1987
1671987
Decidability of bisimulation equivalence for process generating context-free languages
JCM Baeten, JA Bergstra, JW Klop
Journal of the ACM (JACM) 40 (3), 653-682, 1993
1661993
Global renaming operators in concrete process algebra
JCM Baeten, JA Bergstra
Information and Computation 78 (3), 205-245, 1988
1661988
Decidability of bisimulation equivalence for processes generating context-free languages
JCM Baeten, JA Bergstra, JW Klop
International Conference on Parallel Architectures and Languages Europe, 94-111, 1987
1581987
A characterisation of computable data types by means of a finite equational specification method
JA Bergstra, JV Tucker
International Colloquium on Automata, Languages, and Programming, 76-90, 1980
1511980
Fixed point semantics in process algebras
JA Bergstra, JW Klop
1481982
Program algebra for sequential code
JA Bergstra, ME Loots
The Journal of Logic and Algebraic Programming 51 (2), 125-156, 2002
1472002
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20