Listar por autor "Rocha, Camilo"
Mostrando ítems 1-3 de 3
-
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 ... -
Rewriting Modulo SMT and Open System Analysis
(2018-11-26)Rewriting modulo SMT is a new technique that combines the power of SMT solving, rewriting modulo theories, and model checking. Rewriting modulo SMT is ideally suited to model and analyze reachability properties of ...