Using session types for reasoning about boundedness in the π-calculus

Hans Hüttel*

*Kontaktforfatter

Publikation: Bidrag til tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer review

155 Downloads (Pure)

Fingeraftryk

Dyk ned i forskningsemnerne om 'Using session types for reasoning about boundedness in the π-calculus'. Sammen danner de et unikt fingeraftryk.

Computer Science