Categorics for modelling communicating processes

Bibliographic Details
Main Authors:	Labella, Anna (Author), Pettorossi, Alberto (Author), Petorossi, Alberto (Author)
Format:	Article
Language:	English
Subjects:	CCS Milner (jazyk programovací) CSP Hoare (jazyk programovací) články z novín a časopisov

Description
Physical Description:	Obr. 33. Res. rus., angl., lit. 15 zázn. v angl., franc.

Similar Items