Search

Your search keyword '"Klop, J. W."' showing total 84 results
Start Over Author "Klop, J. W."
84 results on '"Klop, J. W."'

2. Transfinite reductions in orthogonal term rewriting systems

Author

Kennaway, J. R., Klop, J. W., Sleep, M. R., de Vries, F. J., Goos, G., editor, Hartmanis, J., editor, Barstow, D., editor, Brauer, W., editor, Brinch Hansen, P., editor, Gries, D., editor, Luckham, D., editor, Moler, C., editor, Pnueli, A., editor, Seegmüller, G., editor, Stoer, J., editor, Wirth, N., editor, and Book, Ronald V., editor

Published
1991
Full Text
View/download PDF

6. Term rewriting systems with priorities

Author

Baeten, J. C. M., Bergstra, J. A., Klop, J. W., Goos, G., editor, Hartmanis, J., editor, Barstow, D., editor, Brauer, W., editor, Brinch Hansen, P., editor, Gries, D., editor, Luckham, D., editor, Moler, C., editor, Pnueli, A., editor, Seegmüller, G., editor, Stoer, J., editor, Wirth, N., editor, and Lescanne, Pierre, editor

Published
1987
Full Text
View/download PDF

7. Decidability of bisimulation equivalence for processes generating context-free languages

Author

Baeten, J. C. M., Bergstra, J. A., Klop, J. W., Goos, G., editor, Hartmanis, J., editor, Barstow, D., editor, Brauer, W., editor, Brinch Hansen, P., editor, Gries, D., editor, Luckham, D., editor, Moler, C., editor, Pnueli, A., editor, Seegmüller, G., editor, Stoer, J., editor, Wirth, N., editor, de Bakker, J. W., editor, Nijman, A. J., editor, and Treleaven, P. C., editor

Published
1987
Full Text
View/download PDF

8. ACPτ a universal axiom system for process specification

Author

Bergstra, J. A., Klop, J. W., Goos, G., editor, Hartmanis, J., editor, Barstow, D., editor, Brauer, W., editor, Brinch Hansen, P., editor, Gries, D., editor, Luckham, D., editor, Moler, C., editor, Pnueli, A., editor, Seegmüller, G., editor, Stoer, J., editor, Wirth, N., editor, Wirsing, Martin, editor, and Bergstra, Jan A., editor

Published
1989
Full Text
View/download PDF

9. Process theory based on bisimulation semantics

Author

Bergstra, J. A., Klop, J. W., Goos, G., editor, Hartmanis, J., editor, Barstow, D., editor, Brauer, W., editor, Brinch Hansen, P., editor, Gries, D., editor, Luckham, D., editor, Moler, C., editor, Pnueli, A., editor, Seegmüller, G., editor, Stoer, J., editor, Wirth, N., editor, de Bakker, J. W., editor, de Roever, W. -P., editor, and Rozenberg, G., editor

Published
1989
Full Text
View/download PDF

10. Linear time and branching time semantics for recursion with merge

Author

de Bakker, J. W., Bergstra, J. A., Klop, J. W., Meyer, J. -J. Ch., Goos, G., editor, Hartmanis, J., editor, Barstow, D., editor, Brauer, W., editor, Brinch Hansen, P., editor, Gries, D., editor, Luckham, D., editor, Moler, C., editor, Pnueli, A., editor, Seegmüller, G., editor, Stoer, J., editor, Wirth, N., editor, and Diaz, Josep, editor

Published
1983
Full Text
View/download PDF

12. Process algebra with asynchronous communication mechanisms

Author

Bergstra, J. A., Klop, J. W., Tucker, J. V., Goos, G., editor, Hartmanis, J., editor, Barstow, D., editor, Brauer, W., editor, Brinch Hansen, P., editor, Gries, D., editor, Luckham, D., editor, Moler, C., editor, Pnueli, A., editor, Seegmüller, G., editor, Stoer, J., editor, Wirth, N., editor, Brookes, Stephen D., editor, Roscoe, Andrew William, editor, and Winskel, Glynn, editor

Published
1985
Full Text
View/download PDF

17. Algebraic tools for system construction

Author

Bergstra, J. A., Klop, J. W., Tucker, J. V., Goos, G., editor, Hartmanis, J., editor, Barstow, D., editor, Brauer, W., editor, Brinch Hansen, P., editor, Gries, D., editor, Luckham, D., editor, Moler, C., editor, Pnueli, A., editor, Seegmüller, G., editor, Stoer, J., editor, Wirth, N., editor, Clarke, Edmund, editor, and Kozen, Dexter, editor

Published
1984
Full Text
View/download PDF

18. On solvability by λI-terms

Author

Klop, J. W., Goos, G., editor, Hartmanis, J., editor, Brinch Hansen, P., editor, Gries, D., editor, Moler, C., editor, Seegmüller, G., editor, Wirth, N., editor, and Böhm, C., editor

Published
1975
Full Text
View/download PDF

21. Preface

Author

Broer, H. W., Klop, J. W., Tijdeman, R., and Wiegerinck, J. J. O. O.

Subjects
General Mathematics
Published
2013
Full Text
View/download PDF

37. Origin tracking in term rewriting.

Author

Goos, Gerhard, Hartmanis, Juris, Leeuwen, Jan, Nipkow, Tobias, and Klop, J. W.

Abstract

The notion of descendants or residuals with its inverse notion of ancestors is classical in the theory of rewriting, both in first order term rewriting and in higher-order rewriting, such as lambda calculus. Recently this classical notion has been given much attention. On the one hand, the notion has been studied in an abstract, axiomatic way, in order to isolate the essential properties of the descendant concept. On the other hand descendants were studied in a very concrete way, inspired by practical considerations such as error recovery in program executions and program slicing. In the latter endeavour the emphasis is on tracing back the symbols constituting an expression to their 'causes' in an earlier expression in the rewrite sequence. This method is also known as origin tracking. The corresponding descendant notion is a refinement of the classical one. In our talk we present some basic properties of origin tracking. It will be apparent that various labeled versions of the rewrite systems concerned are important to establish such properties. We treat three (theoretical) applications of the origin tracking technique: first, a simplified proof of the classical theorem of Huet and Le'vy about needed reduction; second, another proof of the Genericity Lemma in pure lambda calculus; third, a simple proof of Berry's sequentially theorem for lambda calculus. The third application actually takes place in the setting of infinitary lambda calculus, where Boehm trees are normal forms; and Berry's the-orem will easily generalize to lazy lambda trees (or Levy-Longo trees), and to Berarducci trees. [ABSTRACT FROM AUTHOR]

Published
1998
Full Text
View/download PDF

39. On the asynchronous nature of communication in concurrent logic languages: A fully abstract model based on sequences

Author

de Boer, Frank S., Palamidessi, Catuscia, Goos, G., editor, Hartmanis, J., editor, Barstow, D., editor, Brauer, W., editor, Brinch Hansen, P., editor, Gries, D., editor, Luckham, D., editor, Moler, C., editor, Pnueli, A., editor, Seegmüller, G., editor, Stoer, J., editor, Wirth, N., editor, Baeten, J. C. M., editor, and Klop, J. W., editor

Published
1990
Full Text
View/download PDF

41. Process algebra with a zero object

Author

Baeten, J. C. M., Bergstra, J. A., Goos, G., editor, Hartmanis, J., editor, Barstow, D., editor, Brauer, W., editor, Brinch Hansen, P., editor, Gries, D., editor, Luckham, D., editor, Moler, C., editor, Pnueli, A., editor, Seegmüller, G., editor, Stoer, J., editor, Wirth, N., editor, Baeten, J. C. M., editor, and Klop, J. W., editor

Published
1990
Full Text
View/download PDF

43. Priority as extremal probability

Author

Smolka, Scott A., Steffen, Bernhard, Goos, G., editor, Hartmanis, J., editor, Barstow, D., editor, Brauer, W., editor, Brinch Hansen, P., editor, Gries, D., editor, Luckham, D., editor, Moler, C., editor, Pnueli, A., editor, Seegmüller, G., editor, Stoer, J., editor, Wirth, N., editor, Baeten, J. C. M., editor, and Klop, J. W., editor

Published
1990
Full Text
View/download PDF

44. Convergence of iteration systems

Author

Arora, Anish, Attie, Paul, Evangelist, Michael, Gouda, Mohamed, Goos, G., editor, Hartmanis, J., editor, Barstow, D., editor, Brauer, W., editor, Brinch Hansen, P., editor, Gries, D., editor, Luckham, D., editor, Moler, C., editor, Pnueli, A., editor, Seegmüller, G., editor, Stoer, J., editor, Wirth, N., editor, Baeten, J. C. M., editor, and Klop, J. W., editor

Published
1990
Full Text
View/download PDF

45. An axiomatization of Lamport's temporal logic of actions

Author

Abadi, Martín, Goos, G., editor, Hartmanis, J., editor, Barstow, D., editor, Brauer, W., editor, Brinch Hansen, P., editor, Gries, D., editor, Luckham, D., editor, Moler, C., editor, Pnueli, A., editor, Seegmüller, G., editor, Stoer, J., editor, Wirth, N., editor, Baeten, J. C. M., editor, and Klop, J. W., editor

Published
1990
Full Text
View/download PDF

46. Real-time behaviour of asynchronous agents

Author

Wang, Yi, Goos, G., editor, Hartmanis, J., editor, Barstow, D., editor, Brauer, W., editor, Brinch Hansen, P., editor, Gries, D., editor, Luckham, D., editor, Moler, C., editor, Pnueli, A., editor, Seegmüller, G., editor, Stoer, J., editor, Wirth, N., editor, Baeten, J. C. M., editor, and Klop, J. W., editor

Published
1990
Full Text
View/download PDF

47. Delay-insensitive circuits: An algebraic approach to their design

Author

Josephs, Mark B., Udding, Jan Tijmen, Goos, G., editor, Hartmanis, J., editor, Barstow, D., editor, Brauer, W., editor, Brinch Hansen, P., editor, Gries, D., editor, Luckham, D., editor, Moler, C., editor, Pnueli, A., editor, Seegmüller, G., editor, Stoer, J., editor, Wirth, N., editor, Baeten, J. C. M., editor, and Klop, J. W., editor

Published
1990
Full Text
View/download PDF

48. On the compositional checking of validity

Author

Winskel, Glynn, Goos, G., editor, Hartmanis, J., editor, Barstow, D., editor, Brauer, W., editor, Brinch Hansen, P., editor, Gries, D., editor, Luckham, D., editor, Moler, C., editor, Pnueli, A., editor, Seegmüller, G., editor, Stoer, J., editor, Wirth, N., editor, Baeten, J. C. M., editor, and Klop, J. W., editor

Published
1990
Full Text
View/download PDF

49. A synchronous calculus of relative frequency

Author

Tofts, Chris, Goos, G., editor, Hartmanis, J., editor, Barstow, D., editor, Brauer, W., editor, Brinch Hansen, P., editor, Gries, D., editor, Luckham, D., editor, Moler, C., editor, Pnueli, A., editor, Seegmüller, G., editor, Stoer, J., editor, Wirth, N., editor, Baeten, J. C. M., editor, and Klop, J. W., editor

Published
1990
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results