|
П |
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 with Asynchronous Communication Mechanisms |
1984 |
Bergstra J. A., Klop J. W., Tucker J. V. |
|
|
|
|
20.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 |
|
СТ |
Infinitary Lambda Calculi and Bohm Models |
1995 |
Kennaway R., Klop J. W., Sleep R., De Vries F. -J. |
|
|
|
Lecture Notes in Computer Science |
28.04.1995 |
|
СТ |
On the Adequancy of Graph Rewriting for Simulating Term Rewriting |
1994 |
Kennaway J. R., Klop J. W., Sleep M. R., De Vries F. J. |
|
|
|
ACM Trans. Programming Languages and Systems |
01.09.1994 |
|
СТ |
Syntactic Definitions of Undefined: On Defining the Underfined |
1994 |
Ariola Z., Kennaway R., Klop J. W., Sleep R., De Vries F. -J. |
|
|
|
Lecture Notes in Computer Science |
05.05.1994 |
|
СТ |
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 |
|
СТ |
More Problems in Rewriting |
1993 |
Dershowitz N., Jouannaud J. -P., Klop J. W. |
|
|
|
Lecture Notes in Computer Science |
09.07.1993 |
