On the Expressiveness and Decidability of Higher-Order Process Calculi

AuthID
P-00F-VCG
4
Author(s)
Lanese, I
·
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
Publication Identifiers
Scopus: 2-s2.0-51549111645
Source Identifiers
ISSN: 1043-6871
Export Publication Metadata
Marked List
Info
At this moment we don't have any links to full text documens.