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

Hans Hüttel

doi:10.4204/EPTCS.255.5

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

Hans Hüttel^*

^*Corresponding author

Research output: Contribution to journal › Conference article in Journal › Research › peer-review

113 Downloads (Pure)

Original language	English
Journal	Electronic Proceedings in Theoretical Computer Science, EPTCS
Volume	255
Pages (from-to)	67-82
Number of pages	16
ISSN	2075-2180
DOIs	https://doi.org/10.4204/EPTCS.255.5
Publication status	Published - 31 Aug 2017
Event	24th International Workshop on Expressiveness in Concurrency and 14th Workshop on Structural Operational Semantics, EXPRESS/SOS 2017 - Berlin, Germany Duration: 4 Sep 2017 → …

Conference

Conference	24th International Workshop on Expressiveness in Concurrency and 14th Workshop on Structural Operational Semantics, EXPRESS/SOS 2017
Country	Germany
City	Berlin
Period	04/09/2017 → …

Access to Document

10.4204/EPTCS.255.5Licence: CC BY 4.0

Open Access articleFinal published version, 172 KBLicence: CC BY 4.0

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

@inproceedings{b5bc573c7797496580c0ee81fb66e567,

title = "Using session types for reasoning about boundedness in the π-calculus",

author = "Hans H{\"u}ttel",

year = "2017",

month = aug,

day = "31",

doi = "10.4204/EPTCS.255.5",

language = "English",

volume = "255",

pages = "67--82",

journal = "Electronic Proceedings in Theoretical Computer Science",

issn = "2075-2180",

publisher = "Open Publishing Association",

note = "24th International Workshop on Expressiveness in Concurrency and 14th Workshop on Structural Operational Semantics, EXPRESS/SOS 2017 ; Conference date: 04-09-2017",

}

TY - GEN

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

AU - Hüttel, Hans

PY - 2017/8/31

Y1 - 2017/8/31

U2 - 10.4204/EPTCS.255.5

DO - 10.4204/EPTCS.255.5

M3 - Conference article in Journal

AN - SCOPUS:85030108203

VL - 255

SP - 67

EP - 82

JO - Electronic Proceedings in Theoretical Computer Science

JF - Electronic Proceedings in Theoretical Computer Science

SN - 2075-2180

T2 - 24th International Workshop on Expressiveness in Concurrency and 14th Workshop on Structural Operational Semantics, EXPRESS/SOS 2017

Y2 - 4 September 2017

ER -