Structural methods for the synthesis of well-formed concurrent specificantions

Tesis doctoral de Josep Carmona Vargas The specification of a concurrent system describes a set of components that operate in […]

, , , , ,