Mycket forskning har studerat grunderna för korrekta och tillförlitliga kommunikationscentrerade system. En framträdande inställning till korrekthet använder sessionstyper för att genomdriva strukturerad kommunikation; en ny metod för tillförlitlighet använder reversibla åtgärder som ett sätt att reagera på oförutsedda händelser eller misslyckanden. Denna anmärkning utvecklar en enkel observation: de maskiner som krävs för att definiera asynkron semantik och övervakning kan också stödja reversibla protokoll. Vi föreslår en processram för sessionskommunikation där man övervakar stödets reversibilitet. En viktig nyhet i vår strategi är sessionstyper med nuvarande och tidigare, vilket gör att vi kan effektivisera semantiken av reversibla åtgärder.
En viktig nyhet med REF är sessionstyper med nuvarande och tidigare, som gör det möjligt att strömlinjeforma semantiken för reversibla åtgärder.
Reversible Sessions Using Monitors
{'venue': 'EPTCS 211, 2016, pp. 56-64', 'journal': None, 'mag_field_of_study': ['Computer Science']}