Listar por autor "Pozas, Nicolás"
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 ... -
Business processes resource management using rewriting logic and deep-learning-based predictive monitoring
Durán-Muñoz, Francisco Javier; Pozas, Nicolás; Rocha, Camilo (Elsevier, 2024)
A significant task in business process optimization is concerned with streamlining the allocation and sharing of resources. This paper presents an approach for analyzing business process provisioning under a resource ...