zbMATH — the first resource for mathematics

A term model for CCS. (English) Zbl 0479.68011
Mathematical foundations of computer science, Proc. 9th Symp., Rydzyna/Pol. 1980, Lect. Notes Comput. Sci. 88, 261-274 (1980).

68N01 General topics in the theory of software
68Q65 Abstract data types; algebraic specification
03B40 Combinatory logic and lambda calculus
68N25 Theory of operating systems