Listar por tema "P"
Mostrando ítems 1-2 de 2
-
A rewriting logic semantics for the analysis of P programs
Durán-Muñoz, Francisco Javier
; Ramírez, Carlos; Rocha, Camilo; Pozas, Nicolás (Elsevier, 2025-02-15)
P is a domain-specific language designed for specifying asynchronous, event-driven systems. Its computational model is based on actors, i.e., on communicating state machines. This paper presents a formal semantics of P ... -
Phosphorus removal and recycled from tertiary effluent in sewage treatment plant using graphene modified with magnetic nanoparticles (M@GO).
Muñoz-García, Andrea; Montoro-Leal, Pablo; López-Guerrero, María del Mar; Vereda-Alonso, Carlos; Vereda-Alonso, Elisa Isabel (2023)
Phosphorus is employed in detergents, as fertilizers in agriculture, etc. As a nutrient for plants, too much phosphorus can cause increased growth of algae and large aquatic plants, which can result in decreased levels of ...