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

Hans Hüttel*

*Kontaktforfatter

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

113 Downloads (Pure)

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

Teknik og materialevidenskab