Process algebra semantics for queues / by Jan A. Bergstra, Jerzy TiurynTerminologie van algebraïsche specificaties / J.A. BergstraASF, an algebraic specification formalism / J.A. Bergstra, J. Heering, P. KlintACPt : a universal axiom system for process specification / J.A. Bergstra, J.W. KlopSemi-complete termherschrijfsystemen / J.A. Bergstra, J.W. KlopA convergence theorem in process algebra / J.A. Bergstra, J.W. KlopReadies and failures in the algebra of communicating processes / J.A. Bergstra, J.W. Klop, E.-R. OlderogThe inescapable stack: an exercise in algebraic specification with total functions / J.A. Bergstra, J.V. TuckerA mode transfer operator in process algebra / J.A. BergstraProcess algebra for synchronous communication and observation / J.A. BergstraACP with signals / J.A. BergstraTermherschrijfsystemen / J.A. Bergstra, J.W. Klop, A. MiddeldorpModule algebra / J.A. Bergstra, J. Heering, P. KlintConditional rewrite rules: confluency and termination / [by] J. A. Bergstra and J. W. KlopInitial and final algebra semantics for data type specifications: two characterisation theorems / by J. A. Bergstra and J. V. TuckerAlgebraically specified programming systems and Hoare's logic / by J. A. Bergstra and J. V. TuckerPC-compactnes, a necessary condition for the existence of sound and complete logics of partial correctness / [by] J. A. Bergstra and J. TiurynFormele ontwikkeling van schermverloopschema's en interaktieve programma's / [door] J. A. Bergstra en J. J. SmeetsFilosofische aspecten van digitale systemen / [door] Jan BergstraThe inescapable stack: an exercise in algebraic specification with total functions / J.A. Bergstra, J.V. TuckerA mode transfer operator in process algebra / J.A. BergstraProcess theory based on bisimulation semantics / J.A. Bergstra, J.W. KlopEquational specifications, complete term rewriting systems, and computable and semicomputable algebras / J.A. Bergstra, J.V. TuckerHomomorphism preserving algebraic specifications require hidden sorts / J.A. Bergstra, J. HeeringThe data type variety of stack algebras / J.A. Bergstra, J.V. TuckerProcess algebra with backtracking / J.A. Bergstra, A. Ponse, J.J. van WamelProcess algebra with iteration / J.A. Bergstra, I. Bethke, A. PonseNetwork algebra for synchronous and asynchronous dataflow / J.A. Bergstra, Gh. Ştefănescu ; [ed. A. Visser]Process algebra semantics of →f⇋SDL / J.A. Bergstra, C.A. Middelburg ; [A. Visser, ed.]Process algebra with iteration and nesting / J.A. Bergstra, I. Bethke, A. PonseAlgebra of timed frames / J.A. Bergstra, W.J. Fokkink, C.A. MiddelburgA logic for signal inserted timed frames / J. Bergstra, W. Fokkink, K. MiddelburgA calculus for sequential logic with 4 values / J.A. Bergstra, J.C. van de PolWhich data types have →ō⇋-complete initial algebra spcifications? / J.A. Bergstra, J. HeeringDiscrete time process algebra and the semantics of SDL / J.A. Bergstra, C.A. Middelburg, Y.S. UsenkoTheoretische software-engineering : kenmerken, faseringen en classificaties / J.A. Bergstra en S.F.M. van VlijmenPrograms, interfaces and components / Jan Bergstra, Marijke LootsEmperical semantics for object-oriented programs / Jan Bergstra, Marijke LootsSoftware mechanics for Java multi-threading / Jan Bergstra, Marijke LootsProgram algebra for flow charts / J.A. Bergstra & M.E. Loots
author
Decidability of bisimulation equivalence for processes generating context-free languages / J.C.M. BaetenRecursive process definitions with the state operator / J.C.M. Baeten, J.A. BergstraGlobal renaming operators in concrete process algebra / J.C.M. Baeten, J.A. BergstraProcessen en procesexpressies / J.C.M. Baeten, J.A. Bergstra, J.L.M. VranckenRecursive process definitions with the state operator / J.C.M. Baeten, J.A. BergstraDesign of a specification language by abstract syntax engineering / J.C.M. BaetenRaaskal, een taal om eindige automaten te simuleren / verslag van een werkgroep bestaande uit: J. van Leeuwen, T. Zoethout, J. Bergstra [et al.]ACPt: a universal axiom system for proces specification / [by] J. W. Klop [and] J. A. BergstraReal time process algebra / J.C.M. Baeten, J.A. BergstraProcess algebra with a zero object / J.C.M. Baeten, J.A. BergstraProcess algebra with signals and conditions / J.C.M. Baeten, J.A. BergstraReal space process algebra / J.C.M. Baeten, J.A. BergstraThe state operator in real time process algebra / J.C.M. Baeten, J.A. BergstraReal space process algebra / by J.C.M. Baeten and J.A. BergstraDiscrete time process algebra / by J.C.M. Baeten and J.A. BergstraAxiomatizing probabilistic processes : ACP with generative probabilities / by J.C.M. Baeten, J.A. Bergstra, S.A. SmolkaDesign of a specification language by abstract syntax engineering (preliminary version) / J.C.M. Baeten, J.A. BergstraReal time process algebra / J.C.M. Baeten, J.A. BergstraProcess algebra with a zero object / J.C.M. Baeten, J.A. BergstraReal space process algebra / J.C.M. Baeten, J.A. BergstraProcess algebra with signals and conditions / J.C.M. Baeten, J.A. BergstraReal space process algebra / J.C.M. Baeten, J.A. BergstraDecidability of bisimulation equivalence for processes generating context-free languages / J.C.M. Baeten, J.A. Bergstra, J.W. KlopDiscrete time process algebra / J.C.M. Baeten, J.A. BergstraAxiomatizing probabilistic processes : ACP with generative probabilities / J.C.M. Baeten, J.A. Bergstra, S.A. SmolkaLogic of transition systems / Johan van Benthem, Jan BergstraReal space process algebra / J.C.M. Baeten, J.A. BergstraOn sequential composition, action prefixes and process prefix / by J.C.M. Baeten, J.A. BergstraA real-time process logic / by J.C.M. Baeten, J.A. Bergstra, R.N. BolOn sequential composition, action prefixes and process prefix / J.C.M. Baeten, J.A. BergstraLogic of transition systems / J.F.A.K. van Benthem, J.A. BergstraA real time process logic / J.C.M. Baeten, J.A. Bergstra, R.N. BolReal time process algebra with infinitesimals / J.C.M. Baeten, J.A BergstraNon interleaving process algebra / J.C.M. Baeten, J.A. BergstraReal time process algebra with infinitesimals / by J.C.M. Baeten and J.A. BergstraNon interleaving process algebra / by J.C.M. Baeten and J.A. BergstraGraph isomorphism models for non interleaving process algebra / by J.C.M. Baeten and J.A. BergstraProcess algebra with partial choice / J.C.M. Baeten and J.A. BergstraProcess algebra with feedback / J.C.M. Baeten, J.A. Bergstra, Gh. StefanescuProcess algebra with propositional signals / J.C.M. Baeten, J.A. Bergstra