Hugo A. López

Available identifiers

zbMath Open lopez.hugo-aWikidataQ102431532 ScholiaQ102431532MaRDI QIDQ2120810

List of research outcomes

Publication	Date of Publication	Type
Declarative choreographies and liveness	2024-02-06	Paper
Business Process Compliance Using Reference Models of Law	2022-10-13	Paper
Session-based concurrency, declaratively	2022-04-01	Paper
Enforcing Availability in Failure-Aware Communicating Systems	2016-10-19	Paper
Models for Trustworthy Service and Process Oriented Systems	2012-05-11	Paper
Types for Secure Pattern Matching with Local Knowledge in Universal Concurrent Constraint Programming	2009-07-24	Paper
A Declarative Framework for Security: Secure Concurrent Constraint Programming	2008-03-11	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Hugo A. López