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

Similar Items