Process Algebraic Underpinning of Communication and Timing in SDL (2007)
Jan A. Bergstra, Cornelis A. Middelburg
development of high integrity computing systems, (ii) highest level post-graduate university teaching, (iii) international level research, and, through the above, (iv) use of as sophisticated...
Truth of duration calculus formulae in timed frames (1996)
development of high integrity computing systems, (ii) highest level post-graduate university teaching, (iii) international level research, and, through the above, (iv) use of as sophisticated...
Process algebra semantics of 'SDL (1995)
Jan A. Bergstra, Cornelis A. Middelburg
development of high integrity computing systems, (ii) highest level post-graduate university teaching, (iii) international level research, and, through the above, (iv) use of as sophisticated...