Abstrakt. Sessionstyper är en typformalism som används för att beskriva kommunikationsprotokoll över privata sessionskanaler. Varje deltagare i en binär session äger en endpoint i en sessionskanal. Ett nyckelbegrepp är dualitet: En sessionskanals slutpunkter bör ha dubbla sessionstyper för att garantera kommunikationssäkerheten. Dualitetsförhållandena har definierats självständigt på olika sätt och på olika sätt, utan att beakta deras inverkan på typsystemet. I detta dokument studerar vi systematiskt de befintliga dualitetsförhållandena och några nya, och jämför dem för att förstå deras uttrycksfullhet. Resultatet blir att dessa relationer delas upp i två grupper, den ena relaterat till den naiva induktiva dualiteten, och den andra relaterat till ett begrepp om ömsesidig efterlevnad, som vi lånar från litteraturen om kontrakt för webbtjänster.
Bernardi et al Ref studerar systematiskt flera dualitetsrelationer och föreslår ett begrepp om sessionsskrivning oberoende av det särskilda dualitetsförhållandet.
On duality relations for session types
{'venue': 'TGC', 'journal': None, 'mag_field_of_study': ['Computer Science']}