Expressiveness of generic process shape types

Jan Jakubův, J. B. Wells

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

Shape types are a general concept of process types which work for many process calculi. We extend the previously published Poly*. system of shape types to support name restriction. We evaluate the expressiveness of the extended system by showing that shape types are more expressive than an implicitly typed p-calculus and an explicitly typed Mobile Ambients. We demonstrate that the extended system makes it easier to enjoy advantages of shape types which include polymorphism, principal typings, and a type inference implementation. © 2010 Springer-Verlag Berlin Heidelberg.

Original languageEnglish
Title of host publicationTrustworthly Global Computing - 5th International Symposium, TGC 2010, Revised Selected Papers
Pages103-119
Number of pages17
Volume6084 LNCS
DOIs
Publication statusPublished - 2010
Event5th International Symposium on Trustworthly Global Computing - Munich, Germany
Duration: 24 Feb 201026 Feb 2010

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume6084 LNCS
ISSN (Print)0302-9743

Conference

Conference5th International Symposium on Trustworthly Global Computing
Abbreviated titleTGC 2010
CountryGermany
CityMunich
Period24/02/1026/02/10

Fingerprint

Polymorphism

Cite this

Jakubův, J., & Wells, J. B. (2010). Expressiveness of generic process shape types. In Trustworthly Global Computing - 5th International Symposium, TGC 2010, Revised Selected Papers (Vol. 6084 LNCS, pp. 103-119). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 6084 LNCS). https://doi.org/10.1007/978-3-642-15640-3_8
Jakubův, Jan ; Wells, J. B. / Expressiveness of generic process shape types. Trustworthly Global Computing - 5th International Symposium, TGC 2010, Revised Selected Papers. Vol. 6084 LNCS 2010. pp. 103-119 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
@inproceedings{2c69a24098d94e00a3b1f5f699b62619,
title = "Expressiveness of generic process shape types",
abstract = "Shape types are a general concept of process types which work for many process calculi. We extend the previously published Poly*. system of shape types to support name restriction. We evaluate the expressiveness of the extended system by showing that shape types are more expressive than an implicitly typed p-calculus and an explicitly typed Mobile Ambients. We demonstrate that the extended system makes it easier to enjoy advantages of shape types which include polymorphism, principal typings, and a type inference implementation. {\circledC} 2010 Springer-Verlag Berlin Heidelberg.",
author = "Jan Jakubův and Wells, {J. B.}",
year = "2010",
doi = "10.1007/978-3-642-15640-3_8",
language = "English",
isbn = "3642156398",
volume = "6084 LNCS",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
pages = "103--119",
booktitle = "Trustworthly Global Computing - 5th International Symposium, TGC 2010, Revised Selected Papers",

}

Jakubův, J & Wells, JB 2010, Expressiveness of generic process shape types. in Trustworthly Global Computing - 5th International Symposium, TGC 2010, Revised Selected Papers. vol. 6084 LNCS, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 6084 LNCS, pp. 103-119, 5th International Symposium on Trustworthly Global Computing, Munich, Germany, 24/02/10. https://doi.org/10.1007/978-3-642-15640-3_8

Expressiveness of generic process shape types. / Jakubův, Jan; Wells, J. B.

Trustworthly Global Computing - 5th International Symposium, TGC 2010, Revised Selected Papers. Vol. 6084 LNCS 2010. p. 103-119 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 6084 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

TY - GEN

T1 - Expressiveness of generic process shape types

AU - Jakubův, Jan

AU - Wells, J. B.

PY - 2010

Y1 - 2010

N2 - Shape types are a general concept of process types which work for many process calculi. We extend the previously published Poly*. system of shape types to support name restriction. We evaluate the expressiveness of the extended system by showing that shape types are more expressive than an implicitly typed p-calculus and an explicitly typed Mobile Ambients. We demonstrate that the extended system makes it easier to enjoy advantages of shape types which include polymorphism, principal typings, and a type inference implementation. © 2010 Springer-Verlag Berlin Heidelberg.

AB - Shape types are a general concept of process types which work for many process calculi. We extend the previously published Poly*. system of shape types to support name restriction. We evaluate the expressiveness of the extended system by showing that shape types are more expressive than an implicitly typed p-calculus and an explicitly typed Mobile Ambients. We demonstrate that the extended system makes it easier to enjoy advantages of shape types which include polymorphism, principal typings, and a type inference implementation. © 2010 Springer-Verlag Berlin Heidelberg.

U2 - 10.1007/978-3-642-15640-3_8

DO - 10.1007/978-3-642-15640-3_8

M3 - Conference contribution

SN - 3642156398

SN - 9783642156397

VL - 6084 LNCS

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 103

EP - 119

BT - Trustworthly Global Computing - 5th International Symposium, TGC 2010, Revised Selected Papers

ER -

Jakubův J, Wells JB. Expressiveness of generic process shape types. In Trustworthly Global Computing - 5th International Symposium, TGC 2010, Revised Selected Papers. Vol. 6084 LNCS. 2010. p. 103-119. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). https://doi.org/10.1007/978-3-642-15640-3_8