Abstrakt. Vi motiverar och presenterar ett logiskt semantiskt förhållningssätt till typer för samstämmighet och sundhet i relaterade system. Tillvägagångssättet illustreras av utvecklingen av ett generiskt typsystem för π-kalculus, som kan vara omedelbar för specifika begrepp av typning genom utvidgning med lämpliga subtyping principer. Ljudet i vårt typsystem är etablerat med hjälp av en logisk predikatteknik, baserad på en kompositionell rumslig logik tolkning av typer.
Närmast till vårt arbete är REF, där ett generiskt typsystem för pi-calculusparameterized på subtyping relation - föreslås.
Logical Semantics of Types for Concurrency
{'venue': 'CALCO', 'journal': None, 'mag_field_of_study': ['Computer Science']}