Intertable / J.C. van Vliet, J.B. WarmerBounded nondeterminism and the approximation induction principle in process algebra / R.J. van GlabbeekDecidability of bisimulation equivalence for processes generating context-free languages / J.C.M. BaetenA syntax definition formalism / J. Heering, P. KlintModularization and reusability in current programming languages / P. KlintASF, an algebraic specification formalism / J.A. Bergstra, J. Heering, P. KlintINFORM: an interactive syntax-directed formulae-editor / S. van Egmond, 3001, J.C. van VlietAnother look at abstraction in process algebra / J.C.M. Baeten, 3001Order and metric in the stream semantics of elemental concurrency / J.W. de Bakker, 3001Solving reflexive domain equations in a category of complete metric spaces / P. America, J.J.M.M. RuttenA proof rule for process-creation / F.S. de BoerA parser generator for finitely ambiguous context-free grammars / J. RekersAlgebraic specifications for parametrized data types : the case of minimal computable algebras and parameters with equality / P.H. RodenburgMerge and termination in process algebra / J.C.M. Baeten, R.J. van GlabbeekVerification of an algorithm for log-time sorting by square comparison / J.C. Mulder, W.P. WeijlandACPt : a universal axiom system for process specification / J.A. Bergstra, J.W. KlopA fully abstract semantics for data flow nets / J.N. KokAbstraction and empty process in process algebra / J.C.M. Baeten, R.J. van GlabbeekType-checking mini-ML : an algebraic specification with user-defined syntax / P.R.H. HendriksConsistency of rule-based expert systems / M. BezemVerification of a systolic algorithm for string comparison / L. Kossen, W.P. WeijlandTwo normal form theorems for CSP programs / K.R. Apt, L. Bougé, Ph. ClermontA convergence theorem in process algebra / J.A. Bergstra, J.W. KlopDesigning equivalent semantic models for process creation / P. America, J.W. de BakkerStrongly sequential term rewriting systems / J.W. Klop, A. MiddeldorpIntroduction to logic programming / K.R. AptSemantics for prolog via term rewrite systems / J.C.M. Baeten, W.P. WeijlandSemantics for logic programs without occur check / W.P. WeijlandPrinciples of lazy and incremental program generation / J. Heering, P. Klint, J. RekersContractions in comparing concurrency semantics / J.N. Kok, J.J.M.M. RuttenA network approach to the certainty factor model / L.C. van der GaagA semantic approach to fairness / J.J.M.M. Rutten, J.I. ZuckerManagement of stratified databases / K.R. AptIncremental generation of lexical scanners / J. Heering, P. Klint, J. RekersImplementation of modular algebraic specifications / N.W.P. van DiepenMetric semantics for concurrency / J.W. de Bakker, J.-J.Ch. MeyerThe algebra of synchronous processes / W.P. WeijlandA compositional semantics for concurrent prolog / J.N. KokArithmetic classification of perfect models of stratified programs / K.R. Apt, H.A. BlairAppraising fairness in languages for distributed programming / K.R. Apt, N. Francez, S. Katz