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

Hans Hüttel*

*Kontaktforfatter

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

48 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 → …

Fingerprint

Acoustic waves

Citer dette

@inproceedings{b5bc573c7797496580c0ee81fb66e567,
title = "Using session types for reasoning about boundedness in the π-calculus",
author = "Hans H{\"u}ttel",
year = "2017",
month = "8",
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",

}

Using session types for reasoning about boundedness in the π-calculus. / Hüttel, Hans.

I: Electronic Proceedings in Theoretical Computer Science, EPTCS, Bind 255, 31.08.2017, s. 67-82.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

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

ER -