Preprints

C.A. Middelburg. A simple language for expressing properties of telecommunication services and features. Publication 94-PU-356, PTT Research, 1994. Electronic version.

J.A. Bergstra, W.J.Fokkink and C.A. Middelburg. A logic for signal inserted timed frames. Logic Group Preprint Series 155, Utrecht University, Department of Philosophy, January 1996. Electronic version.

J.C.M. Baeten, C.A. Middelburg and M.A. Reniers. A new equivalence for processes with timing. Computing Science Report 02-10, Eindhoven University of Technology, Department of Mathematics and Computing Science, October 2002. Electronic version.

J.A. Bergstra and C.A. Middelburg. Process algebra with conditionals in the presence of epsilon. arXiv:1204.3249v1 [cs.LO].

J.A. Bergstra and C.A. Middelburg. Instruction sequences and non-uniform complexity theory. arXiv:0809.0352v3 [cs.CC].

J.A. Bergstra and C.A. Middelburg. Instruction sequences for the production of processes. arXiv:0811.0436v2 [cs.PL].

J.A. Bergstra and C.A. Middelburg. Instruction sequence notations with probabilistic instructions. arXiv:0906.3083v2 [cs.PL].

J.A. Bergstra and C.A. Middelburg. On the definition of a theoretical concept of an operating system. arXiv:1006.0813v1 [cs.OS].

C.A. Middelburg. A survey of paraconsistent logics. arXiv:1103.4324v3 [cs.LO].

J.A. Bergstra and C.A. Middelburg. An application specific informal logic for interest
prohibition theory. arXiv:1104.0308v1 [q-fin.GN].

J.A. Bergstra and C.A. Middelburg. Turing impossibility properties for stack machine
programming. arXiv:1201.6028v1 [cs.LO].

J.A. Bergstra, C.A. Middelburg, and Gh. Stefanescu. Network algebra for synchronous dataflow. arXiv:1303.0382v1 [cs.LO].

J.A. Bergstra and C.A. Middelburg. Instruction sequence expressions for the secure
hash algorithm SHA-256. arXiv:1308.0219v6 [cs.PL].

J.A. Bergstra and C.A. Middelburg. Instruction sequence expressions for the Karatsuba multiplication algorithm. arXiv:1312.1529v2 [cs.PL].

J.A. Bergstra and C.A. Middelburg. Long multiplication by instruction sequences with backward jump instructions. arXiv:1312.1812v3 [cs.PL].

C.A. Middelburg. On the strongest three-valued paraconsistent logic contained in classical logic. arXiv:1702.03414v2 [cs.LO].

J.A. Bergstra and C.A. Middelburg. Axioms for behavioural congruence of single-pass instruction sequences. arXiv:1702.03511v1 [cs.PL].

J.A. Bergstra and C.A. Middelburg. Process algebra with strategic interleaving. arXiv:1703.06822v1 [cs.LO].

Advertisements