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

Hans Hüttel*

*Kontaktforfatter

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

111 Downloads (Pure)
OriginalsprogEngelsk
TidsskriftElectronic Proceedings in Theoretical Computer Science, EPTCS
Vol/bind255
Sider (fra-til)67-82
Antal sider16
ISSN2075-2180
DOI
StatusUdgivet - 31 aug. 2017
Begivenhed24th International Workshop on Expressiveness in Concurrency and 14th Workshop on Structural Operational Semantics, EXPRESS/SOS 2017 - Berlin, Tyskland
Varighed: 4 sep. 2017 → …

Konference

Konference24th International Workshop on Expressiveness in Concurrency and 14th Workshop on Structural Operational Semantics, EXPRESS/SOS 2017
LandTyskland
ByBerlin
Periode04/09/2017 → …

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

Citationsformater