Axiomatic data type specifications: A first order theory of linear lists Daniel J. MooreBruce Russell OriginalPaper Pages: 193 - 207
Flow languages equal recursively enumerable languages Toshiro ArakiNobuki Tokura OriginalPaper Pages: 209 - 217
Proving total correctness of nondeterministic programs in infinitary logic R. J. R. Back OriginalPaper Pages: 233 - 249
A discrete-time round-robin queue with bernoulli input and general arithmetic service time distributions H. DadunaR. Schassberger OriginalPaper Pages: 251 - 263
A proof technique for communicating sequential processes Gary Marc LevinDavid Gries OriginalPaper Pages: 281 - 302
The equivalence of Horn and network complexity for Boolean functions Stal O. AnderaaEgon Börger OriginalPaper Pages: 303 - 307