Publications

On the Expressiveness of Polyadic and Synchronous Communication in Higher-Order Process Calculi

AuthID
P-007-V2K

Author(s)

Lanese, I

Perez, JA

Sangiorgi, D

Schmitt, A

Document Type

Proceedings Paper

Year published

2010

Published

in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), ISSN: 0302-9743

Volume: 6199 LNCS, Issue: PART 2, Pages: 442-453

Conference

37Th International Colloquium on Automata, Languages and Programming, Icalp 2010, Date: 6 July 2010 through 10 July 2010, Location: Bordeaux, Sponsors: CEA;Communaute Urbaine de Bordeaux;Conseil Regional d'Aquitaine;GDR Informatique Mathmatique (CNRS);INRIA;Total

Indexing