Causal Consistency for Reversible Multiparty Protocols

In programming models with a reversible semantics, computational steps can be undone. This paper addresses the integration of reversible semantics into process languages for communication-centric systems equipped with behavioral types. In prior work, we introduced a monitors-as-memories approach to seamlessly integrate reversible semantics into a process model in which concurrency is governed by session types (a class of behavioral types), covering binary (two-party) protocols with synchronous communication. The applicability and expressiveness of the binary setting, however, is limited. Here we extend our approach, and use it to define reversible semantics for an expressive process model that accounts for multiparty (n-party) protocols, asynchronous communication, decoupled rollbacks, and abstraction passing. As main result, we prove that our reversible semantics for multiparty protocols is causally-consistent. A key technical ingredient in our developments is an alternative reversible semantics with atomic rollbacks, which is conceptually simple and is shown to characterize decoupled rollbacks.Comment: Extended, revised version of a PPDP'17 paper (https://doi.org/10.1145/3131851.3131864

Violencia y política en las publicaciones clandestinas bajo Pinochet: La palabra armada en el Frente Patriótico Manuel Rodríguez. Chile, 1983-1987

Este trabajo busca identificar y caracterizar a través del análisis de la principal publicación del Frente Patriótico Manuel Rodríguez (FPMR), la revista “El Rodriguista”, los soportes políticos que dieron sentido a la estrategia políticomilitar del FPMR y los principales elementos que configuraron y orientaron el accionar cotidiano de la militancia Rodriguista entre los años 1983-1987. Por otra parte, intenta explicar los elementos constitutivos y la forma en cómo se fue desarrollando la homogenización política y la configuración identitaria de la militancia Rodriguista, que veía en la utilización de la violencia política la forma principal de poner término al régimen militar

Historia Sociopolítica del Concepción Contemporáneo. Memoria, Identidad y Territorio

El libro que estamos reseñando, es resultado de largas discusiones y de esfuerzos colectivos de un conjunto de historiadores de la Octava Región, agrupados en El Taller de Ciencias Sociales “Luis Vitale”..

«Conflicto patricio y violencia popular en Copiapó durante la guerra civil de 1851» Avances de investigación y propuesta metodológica para el estudio de los motines y revueltas populares

El objetivo principal de este trabajo es reflexionar respecto de las manifestaciones de violencia social desplegadas por los sectores populares en el contexto de un conflicto político y militar ínter oligárquico como lo es la Guerra Civil de 1851. Para ello nos centraremos espacialmente en el mundo minero del Norte Chico, zona del país que se caracterizó por la temprana presencia de conflictos sociales violentos, todos ellos desplegados en torno a las transformaciones económicas y sociales producto de la transición de una sociedad tradicional a una capitalista. Se desarrollará además una propuesta metodológica para estudiar las expresiones de violencia popular características de esta zona del país, como son los motines peonales o los levantamientos mineros

Reversibility in session-based concurrency: A fresh look

Much research has studied foundations for correct and reliable communication-centric software systems. A salient approach to correctness uses verification based on session types to enforce structured communications; a recent approach to reliability uses reversible actions as a way of reacting to unanticipated events or failures. In this paper, we develop a simple observation: the semantic machinery required to define asynchronous (queue-based), monitored communications can also support reversible protocols. We propose a framework of session communication in which monitors support reversibility of (untyped) processes. Main novelty in our approach are session types with present and past, which allow us to streamline the semantics of reversible actions. We prove that reversibility in our framework is causally consistent, and define ways of using monitors to control reversible actions. Keyword