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)
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)
  • 1