Auxiliary functions and constructive specification of general systems Mihajlo D. Mesarović OriginalPaper Pages: 203 - 222
Homomorphisms between stochastic sequential machines and related problems A. Paz OriginalPaper Pages: 223 - 245
Real-time solutions of the origin-crossing problem Michael J. FischerArnold L. Rosenberg OriginalPaper Pages: 257 - 263
Counter machines and counter languages Patrick C. FischerAlbert R. MeyerArnold L. Rosenberg OriginalPaper Pages: 265 - 283