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

Hans Hüttel*

*Corresponding author

Research output: Contribution to journalConference article in JournalResearchpeer-review

113 Downloads (Pure)
Original languageEnglish
JournalElectronic Proceedings in Theoretical Computer Science, EPTCS
Volume255
Pages (from-to)67-82
Number of pages16
ISSN2075-2180
DOIs
Publication statusPublished - 31 Aug 2017
Event24th International Workshop on Expressiveness in Concurrency and 14th Workshop on Structural Operational Semantics, EXPRESS/SOS 2017 - Berlin, Germany
Duration: 4 Sep 2017 → …

Conference

Conference24th International Workshop on Expressiveness in Concurrency and 14th Workshop on Structural Operational Semantics, EXPRESS/SOS 2017
CountryGermany
CityBerlin
Period04/09/2017 → …

Fingerprint Dive into the research topics of 'Using session types for reasoning about boundedness in the π-calculus'. Together they form a unique fingerprint.

Cite this