Vol. 35 No. 3 (1991)

UPDATE PLANS

Hugh Osborne

153-163
- PDF
A BMF FOR SEMANTICS

Erik Meijer

165-192
- PDF
PETRI NET BASED MODELING OF PARALLEL PROGRAMS EXECUTING ON DISTRIBUTED MEMORY MULTIPROCESSOR SYSTEMS

A. Ferscha, G. Haring

193-219
- PDF
FORMAL HARDWARE DESCRIPTION USING GLASS

M. Seutter

221-234
- PDF