PAREDES JUAN MIGUEL

Protocol exception handling external to deterministic code