ion is an expression of the form (x)Pit is a parameterized process. An abstraction has a functional type. Applying an abstraction (x)P of type T → ♦ (where ♦ is the type of all processes) to an… (More)
Work carried out within the AVISPA research group, and supported by COLCIENCIAS (the Colombian Agency for Science and Technology). Supervisor: Prof. Camilo RUEDA. Director of the Department of… (More)