Publications

On the Expressiveness and Decidability of Higher-Order Process Calculi

AuthID
P-00F-VCG

Author(s)

Lanese, I

Perez, JA

Sangiorgi, D

Schmitt, A

Document Type

Proceedings Paper

Year published

2008

Published

in Proceedings - Symposium on Logic in Computer Science, ISSN: 1043-6871

Pages: 145-155

Conference

23Rd Annual Ieee Symposium on Logic in Computer Science, Lics 2008, Date: 24 June 2008 through 27 June 2008, Location: Pittsburgh, PA, Sponsors: IEEE Comput. Soc. Tech. Comm. Math. Foundations of Computing

Indexing

Scopus^®

Crossref^®

Google Scholar^®

Metadata
Sources

Publication Identifiers

DOI: 10.1109/lics.2008.8

Scopus: 2-s2.0-51549111645

Source Identifiers

ISSN: 1043-6871

Export Publication Metadata

Marked List

Add to Marked List

Info

At this moment we don't have any links to full text documens.

On the Expressiveness and Decidability of Higher-Order Process Calculi

Useful Links

Get Help

Federated Authentication (Click on the image)

On the Expressiveness and Decidability of Higher-Order Process Calculi

Useful Links

Get Help