Preface von Broer, H.W., Klop, J.W., Tijdeman, R., Wiegerinck, J.J.O.O.

Volltext

CONCUR '90 Theories of Concurrency: Unification and Extension: Amsterdam, The Netherlands, August 27–30, 1990 Proceedings von Baeten, J. C. M, Klop, J. W

Volltext

Infinitary lambda calculus von Kennaway, J.R., Klop, J.W., Sleep, M.R., de Vries, F.J.

Volltext

Lambda-calculus, types and models von Klop, J.W.

Volltext

Transfinite Reductions in Orthogonal Term Rewriting Systems von Kennaway, R., Klop, J.W., Sleep, R., Devries, F.J.

Volltext

Algebra of communicating processes with abstraction von Bergstra, J.A., Klop, J.W.

Volltext

Conditional rewrite rules: Confluence and termination von Bergstra, J.A., Klop, J.W.

Volltext

Process Theory based on Bisimulation Semantics von Bergstra, J.A, Klop, J.W

Volltext

ACP - a universal axiom sytem for process specification von Bergstra, J.A, Klop, J.W

Volltext

Automatic Sequences and Zip-Specifications von Grabmayer, C.A, Endrullis, J, Hendriks, D, Klop, J.W, Moss, L.S

Volltext

On the consistency of Koomen's Fair Abstraction Rule von Baeten, J.C.M., Bergstra, J.A., Klop, J.W.

Volltext

Decidability of bisimulation equivalence for processes generating context-free languages von Bergstra, J.A, Baeten, J.C.M, Klop, J.W

Volltext

Verification of an alternating bit protocol by means of process algebra von Bergstra, J.A, Klop, J.W

Volltext

The algebra of recursively defined processes and the algebra of regular processes von Bergstra, J.A, Klop, J.W

Volltext

Conditional rewrite rules : confluence and termination von Bergstra, J.A, Klop, J.W

Volltext

Algebra of communicating processes with abstraction von Bergstra, J.A, Klop, J.W

Volltext

Productivity of stream definitions von Endrullis, J, Grabmayer, C.A, Hendriks, D, Isihara, A, Klop, J.W

Volltext

Proving program inclusion using Hoare's logic von Bergstra, J.A, Klop, J.W

Volltext

A formalized proof system for total correctness of while programs von Bergstra, J.A, Klop, J.W

Volltext

Algebraic specifications for parametrized data types with minimal parameter and target algebras von Bergstra, J.A, Klop, J.W

Volltext