William Ferreira

Learn More
Concurrent ML (CML) is an extension of Standard ML of New Jersey with concurrent features similar to those of process algebra. In this papes we build upon John Reppy's reduction semantics for CML by constructing a compositional operational semantics for a fragment of CML, based on higher-order process algebra. We use this to build a semantic theory for CML,(More)
A simple untyped language based on CML, Concurrent ML, is deened and analysed. The language contains a spawn operator for initiating new independent threads of computation and constructs for the exchange of data between these threads. A denotational model for the language is presented where denotations correspond to computations of values rather than simply(More)
We investigate a language obtained by extending the typed call-by-value λ calculus with the communication constructs of CCS. The language contains two interrelated syntactic classes, processes and expressions. The former are defined using the CCS constructs of choice, parallelism, and action prefixing of expressions, where these expressions come from a(More)
Antibiotic therapy in hematologic patients, often weak and susceptible to a wide range of infections, particularly nosocomial infections derived from long hospitalization periods, is a challenging issue. This paper presents ESBL-producing strains isolated from such hematologic patients treated at the Amazon Hematology and Hemotherapy Foundation (HEMOAM) in(More)
Pensamento e linguagem em crianças com síndrome de Down: um estudo de caso da concepção das professoras Thought and language in children with Down syndrome: a case study of teachers' conception Down dentro do espaço escolar. Abstract The conception of the teachers about the importance of verbal language to the process of social interaction among students(More)
  • 1