Abstrakt. I detta dokument 1 presenteras Kell-kalkylen, en ny distribuerad processkalkyl som behåller de ursprungliga insikterna i Seal-kalkylen (lokala åtgärder, processreplikation) och M-calculus (högre ordningsprocesser och programmerbara membran), men i en mycket enklare miljö än den senare. Analysen är utrustad med ett typsystem som genomdriver en unicity-fastighet för lokaliseringsnamn som är avgörande för ett effektivt genomförande av kalkylen.
Den Kell calculus som beskrivs i REF baseras på M-calculus och använder högre orderkommunikation.
The Kell Calculus: Operational Semantics and Type System
{'venue': 'FMOODS', 'journal': None, 'mag_field_of_study': ['Computer Science']}