|
СТ |
Decision problems for pushdown threads |
2007 |
Bergstra J. A., Bethke I., Ponse A. |
|
|
|
Acta Informatica |
26.06.2007 |
|
П |
Readies and Failures in the Algebra of Communicating Processes |
1987 |
Bergstra J. A., Klop J. W., Olderog E. -R. |
|
|
CWI |
Computing Surveys |
08.07.1998 |
|
П |
Process Algebra for Synchronous Communication and Observation |
1988 |
Bergstra J. A. |
|
|
Univ. Amsterdam |
|
07.07.1998 |
|
П |
Module Algebra |
1988 |
Bergstra J. A., Heering J., Klint P. |
|
|
Univ. Amsterdam |
|
07.07.1998 |
|
СТ |
The ToolBus Coordination Architecture |
1996 |
Bergstra J. A., Klint P. |
|
|
|
Lecture Notes in Computer Science |
24.05.1996 |
|
СТ |
A Complete Transformational Toolkit for Compilers |
1996 |
Bergstra J. A., Dinesh T. B., Field J., Heering J. |
|
|
|
Lecture Notes in Computer Science |
18.05.1996 |
|
СТ |
Discrete Time Process Algebra with Abstraction |
1995 |
Baeten J.C. M., Bergstra J. A. |
Lecture Notes in Computer Science |
|
|
Fundamentals of Computation Theory |
18.10.1995 |
|
СТ |
Processes with Multiple Entries and Exits |
1995 |
Bergstra J. A., Stefanescu Gh. |
Lecture Notes in Computer Science |
|
|
Fundamentals of Computation Theory |
18.10.1995 |
|
СТ |
ACP with Signals |
1988 |
Bergstra J. A. |
Mathematical Research |
|
|
Algebraic and Logic Programming |
30.06.1995 |
|
П |
A process specification formalism based on static COLD |
1989 |
Baeten J.C. M., Bergstra J. A., Mauw S., Veltnik G. J. |
|
|
CWI |
|
21.06.1995 |
|
СТ |
Process Algebra with Asynchronous Communication Mechanisms |
1984 |
Bergstra J. A., Klop J. W., Tucker J. V. |
|
|
|
|
20.06.1995 |
|
П |
Real Space Process Algebra |
1990 |
Baeten J.C. M., Bergstra J. A. |
|
|
Univ. Amsterdam |
|
07.06.1995 |
|
П |
Process Algebra with a Zero Object |
1990 |
Baeten J.C. M., Bergstra J. A. |
|
|
Univ. Amsterdam |
|
07.06.1995 |
|
П |
Design of a Specification Language by Abstract Syntax Engineering (prliminary version) |
1989 |
Baeten J.C. M., Bergstra J. A. |
|
|
Univ. Amsterdam |
|
07.06.1995 |
|
П |
Algebra of States and Transitions |
1989 |
Bergstra J. A. |
|
|
Univ. Amsterdam |
|
06.06.1995 |
|
СТ |
Process Algebra: Specification and Verification in Bisimulation Semantics |
1986 |
Bergstra J. A., Klop J. W. |
|
|
CWI |
Mathematics and Computer Science II |
03.06.1995 |
|
СТ |
Process Algebra with Partial Choice |
1994 |
Baeten J.C. M., Bergstra J. A. |
|
|
|
Lecture Notes in Computer Science |
26.08.1994 |
|
СТ |
Process Algebra with Combinators |
1994 |
Bergstra J. A., Bethke I., Ponse A. |
|
|
|
Lecture Notes in Computer Science |
25.08.1994 |
|
СТ |
A Real Time Process Logic |
1994 |
Baeten J.C. M., Bergstra J. A., Bol R. N. |
|
|
|
Lecture Notes in Artificial Intelligence |
11.08.1994 |
|
СТ |
Process Algebra with Backtracking |
1994 |
Bergstra J. A., Ponse A., Van Wamel J. J. |
|
|
|
Lecture Notes in Computer Science |
04.08.1994 |
|
СТ |
Non Interleaving Process Algebra |
1993 |
Baeten J.C. M., Bergstra J. A. |
|
|
|
Lecture Notes in Computer Science |
19.10.1993 |
|
СТ |
Translations between Flowchart Schemes and Process Graphs |
1993 |
Bergstra J. A., Stefanescu G. |
|
|
|
Lecture Notes in Computer Science |
16.09.1993 |
|
СТ |
Decidability of Bisimulation Equivalence for Processes Generating Context-Free Languages |
1993 |
Baeten J.C. M., Bergstra J. A., Klop J. W. |
|
|
|
J. of the ACM |
13.09.1993 |
|
СТ |
Axiomatizing Probabilistic Processes: ACP with Generative Probabilities |
1992 |
Baeten J.C. M., Bergstra J. A., Smolka S. A. |
|
|
|
Lecture Notes in Computer Science |
20.10.1992 |
|
СТ |
Discrete Time Process Algebra |
1992 |
Baeten J.C. M., Bergstra J. A. |
|
|
|
Lecture Notes in Computer Science |
16.10.1992 |
|
СТ |
The State Operator in Real Time Process Algebra |
1992 |
Baeten J. C., Bergstra J. A. |
|
|
|
Lecture Notes in Computer Science |
08.08.1992 |
