Sökning: "Alejandro Gómez Londoño"

Hittade 2 avhandlingar innehållade orden Alejandro Gómez Londoño.

1. 1. Choreographies and Cost Semantics for Reliable Communicating Systems

   Författare :Alejandro Gómez Londoño; Chalmers tekniska högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Functional Programming; theorem provers; Compilers; Program Verification; Concurrency;

   Sammanfattning : Communicating systems have become ubiquitous in today's society. Unfortunately, the complexity of their interactions makes them particularly prone to failures such as deadlocked states caused by misbehaving components, or memory exhaustion due to a surge in message traffic (malicious or not). LÄS MER

3. 2. Choreographies and Cost Semantics for Reliable Communicating Systems

   Författare :Alejandro Gómez Londoño; Chalmers tekniska högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

   Sammanfattning : Communicating systems have become ubiquitous in today's society. Unfortunately, the complexity of their interactions makes them particularly prone to failures such as deadlocked states caused by misbehaving components, or memory exhaustion due to a surge in message traffic (malicious or not). LÄS MER