Abstrakt. Vi föreslår en formell semantik för distribuerade transaktioner inspirerade av attributmekanismerna i Java Transaktion API. Tekniskt modellerar vi tjänster i en processkalkyl med transaktionsmekanismer som lånats från de så kallade container-hanterade transaktionerna i Java. Vi utrustar vår kalkyl med ett typsystem för vår kalkyl och visar att i väldefinierade system garanterar det frånvaro av drift-tid fel på grund av missbruk av transaktionsmekanismer.
I REF har det också getts ett typsystem för ATc som garanterar frånvaro av fel på grund av missbruk av transaktionsattribut.
A Java Inspired Semantics for Transactions in SOC
{'venue': 'TGC', 'journal': None, 'mag_field_of_study': ['Computer Science']}