Output details
11 - Computer Science and Informatics
University of Sussex
Chapter title
Completeness and logical full abstraction in modal logics for typed mobile processes
Type
C - Chapter in book
DOI
-
Publisher of book
Springer Verlag
Book title
Automata, Languages and Programming
ISBN of book
978-3-540-70582-6
Year of publication
2008
Number of additional authors
7
Additional information
<11>Track B of ICALP is one of the leading conferences in the field of programming languages and a major international outlet in this area. Acceptance rate in 2008: 26% (Track B).
Interdisciplinary
-
Cross-referral requested
-
Research group
G - Foundations of Software Systems
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-
