Martin Berger, Kohei Honda, Nobuko Yoshida. Completeness and Logical Full Abstraction in Modal Logics for Typed Mobile Processes. In Luca Aceto, Ivan Damgård, Leslie Ann Goldberg, Magnús M. Halldórsson, Anna Ingólfsdóttir, Igor Walukiewicz, editors, Automata, Languages and Programming, 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II - Track B: Logic, Semantics, and Theory of Programming & Track C: Security and Cryptography Foundations. Volume 5126 of Lecture Notes in Computer Science, pages 99-111, Springer, 2008. [doi]
@inproceedings{BergerHY08,
title = {Completeness and Logical Full Abstraction in Modal Logics for Typed Mobile Processes},
author = {Martin Berger and Kohei Honda and Nobuko Yoshida},
year = {2008},
doi = {10.1007/978-3-540-70583-3_9},
url = {http://dx.doi.org/10.1007/978-3-540-70583-3_9},
tags = {completeness, modal logic, logic, abstraction, mobile},
researchr = {https://researchr.org/publication/BergerHY08},
cites = {0},
citedby = {0},
pages = {99-111},
booktitle = {Automata, Languages and Programming, 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II - Track B: Logic, Semantics, and Theory of Programming & Track C: Security and Cryptography Foundations},
editor = {Luca Aceto and Ivan Damgård and Leslie Ann Goldberg and Magnús M. Halldórsson and Anna Ingólfsdóttir and Igor Walukiewicz},
volume = {5126},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-540-70582-6},
}