Folgen
Jan Aldert Bergstra
Jan Aldert Bergstra
professor of informatics, Institute of Informatics, University of Amsterdam NL
Bestätigte E-Mail-Adresse bei uva.nl - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Process algebra for synchronous communication
JA Bergstra, JW Klop
Information and control 60 (1-3), 109-137, 1984
14601984
Algebra of communicating processes with abstraction
JA Bergstra, JW Klop
Theoretical computer science 37, 77-121, 1985
10721985
Handbook of process algebra
JA Bergstra, A Ponse, SA Smolka
Elsevier, 2001
8902001
Real time process algebra
JCM Baeten, JA Bergstra
Formal Aspects of Computing 3, 142-188, 1991
5811991
Algebraic specification
JA Bergstra
ACM, 1989
4911989
Conditional rewrite rules: Confluence and termination
JA Bergstra, JW Klop
Journal of Computer and System Sciences 32 (3), 323-362, 1986
3301986
Global renaming operators in concrete process algebra
JCM Baeten, JA Bergstra
Information and Computation 78 (3), 205-245, 1988
2761988
Module algebra
JA Bergstra, J Heering, P Klint
Journal of the ACM (JACM) 37 (2), 335-372, 1990
2671990
Syntax and defining equations for an interrupt mechanism in process algebra
JCM Baeten, JA Bergstra, JW Klop
Fundamenta Informaticae 9 (2), 127-167, 1986
2641986
On the consistency of Koomen's fair abstraction rule
JCM Baeten, JA Bergstra, JW Klop
Theoretical Computer Science 51 (1-2), 129-176, 1987
2151987
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
2131984
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
1921993
Algebra of communicating processes
JA Bergstra, JW Klop
CWI Monograph series 3, 89-138, 1986
1901986
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
1851987
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
1811980
The discrete time TOOLBUS—a software coordination architecture
JA Bergstra, P Klint
Science of Computer programming 31 (2-3), 205-229, 1998
1681998
Program algebra for sequential code
JA Bergstra, ME Loots
The Journal of Logic and Algebraic Programming 51 (2), 125-156, 2002
1612002
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
1601987
Process algebra with iteration and nesting
JA Bergstra, I Bethke, A Ponse
The Computer Journal 37 (4), 243-258, 1994
1591994
Discrete time process algebra
JCM Baeten, JA Bergstra
Formal Aspects of Computing 8, 188-208, 1996
153*1996
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20