| Process algebra with timing JCM Baeten, CA Middelburg Springer Science & Business Media, 2013 | 240 | 2013 |
| Process algebra for hybrid systems JA Bergstra, CA Middelburg Theoretical Computer Science 335 (2-3), 215-280, 2005 | 138 | 2005 |
| A typed logic of partial functions reconstructed classically CB Jones, CA Middelburg Acta informatica 31, 399-430, 1994 | 120 | 1994 |
| Thread algebra for strategic interleaving JA Bergstra, CA Middelburg Formal Aspects of Computing 19, 445-474, 2007 | 92 | 2007 |
| Process algebra with timing: Real time and discrete time JCM Baeten, CA Middelburg Handbook of process algebra, 627-684, 2001 | 92 | 2001 |
| Inversive meadows and divisive meadows JA Bergstra, CA Middelburg Journal of Applied Logic 9 (3), 203-220, 2011 | 56 | 2011 |
| Instruction sequence processing operators JA Bergstra, CA Middelburg Acta Informatica 49, 139-172, 2012 | 54 | 2012 |
| Logic and Specifiction: Extending VDM-SL for Advanced Formal Specification CA Middelburg Chapman & Hall, Ltd., 1993 | 43 | 1993 |
| Variable binding operators in transition system specifications CA Middelburg The Journal of Logic and Algebraic Programming 47 (1), 15-45, 2001 | 42 | 2001 |
| Notations for software design LMG Feijs, HBM Jonkers, CA Middelburg Springer Science & Business Media, 2012 | 40 | 2012 |
| VVSL: A language for structured VDM specifications CA Middelburg Formal aspects of computing 1, 115-135, 1989 | 40 | 1989 |
| Syntax and semantics of VVSL: a language for structured VDM specifications CA Middelburg | 38 | 1990 |
| Thread algebra with multi-level strategies JA Bergstra, CA Middelburg Fundamenta Informaticae 71 (2-3), 153-182, 2006 | 36 | 2006 |
| Discrete time process algebra and the semantics of SDL JA Bergstra, CA Middelburg, YS Usenko Handbook of process algebra, 1209-1268, 2001 | 36 | 2001 |
| A survey of paraconsistent logics CA Middelburg arXiv preprint arXiv:1103.4324, 2011 | 34 | 2011 |
| An alternative formulation of operational conservativity with binding terms CA Middelburg The Journal of Logic and Algebraic Programming 55 (1-2), 1-19, 2003 | 31 | 2003 |
| Division by zero in non-involutive meadows JA Bergstra, CA Middelburg Journal of Applied Logic 13 (1), 1-12, 2015 | 30 | 2015 |
| Splitting bisimulations and retrospective conditions JA Bergstra, CA Middelburg Information and Computation 204 (7), 1083-1138, 2006 | 30 | 2006 |
| Network algebra for asynchronous dataflow JA Bergstra, CA Middelburg, GH Ştef [acaron] nescu International Journal of Computer Mathematics 65 (1-2), 57-88, 1997 | 30* | 1997 |
| A thread algebra with multi-level strategic interleaving JA Bergstra, CA Middelburg Conference on Computability in Europe, 35-48, 2005 | 28 | 2005 |
Jan Aldert Bergstraprofessor of informatics, Institute of Informatics, University of Amsterdam NL確認したメール アドレス: uva.nl
