Elementary algebraic specifications of the rational function fieldBERGSTRA, J. A.Lecture notes in computer science. 2006, pp 40-54, issn 0302-9743, isbn 3-540-35466-2, 1Vol, 15 p.Conference Paper

Which data types have ω-complete initial algebra specifications?BERGSTRA, J. A; HEERING, J.Theoretical computer science. 1994, Vol 124, Num 1, pp 149-168, issn 0304-3975Article

Kleene's three-valued logic and process algebraBERGSTRA, J. A; PONSE, A.Information processing letters. 1998, Vol 67, Num 2, pp 95-103, issn 0020-0190Article

Bisimulation is two-way simulationBERGSTRA, J. A; STEFANESCU, GH.Information processing letters. 1994, Vol 52, Num 6, pp 285-287, issn 0020-0190Article

An upper bound for the equational specification of finite state servicesBERGSTRA, J. A; BETHKE, I.Information processing letters. 2005, Vol 94, Num 6, pp 267-269, issn 0020-0190, 3 p.Article

A thread calculus with molecular dynamicsBERGSTRA, J. A; MIDDELBURG, C. A.Information and computation (Print). 2010, Vol 208, Num 7, pp 817-844, issn 0890-5401, 28 p.Article

Meadows and the equational specification of divisionBERGSTRA, J. A; HIRSHFELD, Y; TUCKER, J. V et al.Theoretical computer science. 2009, Vol 410, Num 12-13, pp 1261-1271, issn 0304-3975, 11 p.Article

Splitting bisimulations and retrospective conditionsBERGSTRA, J. A; MIDDELBURG, C. A.Information and computation (Print). 2006, Vol 204, Num 7, pp 1083-1138, issn 0890-5401, 56 p.Article

Discrete time process algebraBAETEN, J. C. M; BERGSTRA, J. A.Formal aspects of computing. 1996, Vol 8, Num 2, pp 188-208, issn 0934-5043Article

Equational specifications, complete term rewriting systems, and computable and semicomputable algebrasBERGSTRA, J. A; TUCKER, J. V.Journal of the Association for Computing Machinery. 1995, Vol 42, Num 6, pp 1194-1230, issn 0004-5411Article

On sequential composition, action prefixes and process prefixBAETEN, J. C. M; BERGSTRA, J. A.Formal aspects of computing. 1994, Vol 6, Num 3, pp 250-268, issn 0934-5043Article

Conditional rewrite rules: confluence and terminationBERGSTRA, J. A; KLOP, J. W.Journal of computer and system sciences (Print). 1986, Vol 32, Num 3, pp 323-362, issn 0022-0000Article

Algebra of communicating processes with abstractionBERGSTRA, J. A; KLOP, J. W.Theoretical computer science. 1985, Vol 37, Num 1, pp 77-121, issn 0304-3975Article

Proving program inclusion using Hoare's logicBERGSTRA, J. A; KLOP, J. W.Theoretical computer science. 1984, Vol 30, Num 1, pp 1-48, issn 0304-3975Article

Process algebra for synchronous communicationBERGSTRA, J. A; KLOP, J. W.Information and control. 1984, Vol 60, Num 1-3, pp 109-137, issn 0019-9958Article

Thread algebra for strategic interleavingBERGSTRA, J. A; MIDDELBURG, C. A.Formal aspects of computing. 2007, Vol 19, Num 4, pp 445-474, issn 0934-5043, 30 p.Article

Network algebra for asynchronous dataflowBERGSTRA, J. A; MIDDELBURG, C. A; STEFANESCU, G et al.International journal of computer mathematics. 1997, Vol 65, Num 1-2, pp 57-88, issn 0020-7160Article

Module algebraBERGSTRA, J. A; HEERING, J; KLINT, P et al.Journal of the Association for Computing Machinery. 1990, Vol 37, Num 2, pp 335-372, issn 0004-5411, 38 p.Article

Hoarés logic for programming languages with two data typesBERGSTRA, J. A; TUCKER, J. V.Theoretical computer science. 1984, Vol 28, Num 1-2, pp 215-221, issn 0304-3975Article

Instruction sequence processing operatorsBERGSTRA, J. A; MIDDELBURG, C. A.Acta informatica. 2012, Vol 49, Num 3, pp 139-172, issn 0001-5903, 34 p.Article

Machine structure oriented control code logicBERGSTRA, J. A; MIDDELBURG, C. A.Acta informatica. 2009, Vol 46, Num 5, pp 375-401, issn 0001-5903, 27 p.Article

Axiomatizing probabilistic processes : ACP with generative probabilitiesBAETEN, J. C. M; BERGSTRA, J. A.Information and computation (Print). 1995, Vol 121, Num 2, pp 234-255, issn 0890-5401Article

Page / 2