×

On the algebraic specification of finitary infinite communicating sequential processes. (English) Zbl 0512.68021

Formal description of programming concepts II, Proc. IFIP Conf., Garmisch-Partenkirchen 1982, 171-198 (1983).

MSC:

68P05 Data structures
68N25 Theory of operating systems

Citations:

Zbl 0508.00009