Volume
@proceedings{LAM'10,
title = {LAM'10. 3rd International Workshop on Logics, Agents, and Mobility},
editor = {Berndt M\textbackslash{}"uller},
series = {EPiC Series in Computing},
volume = {7},
year = {2012},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340}}
Papers
@inproceedings{LAM'10:Possession_as_Linear_Knowledge,
author = {Frank Pfenning},
title = {Possession as Linear Knowledge},
booktitle = {LAM'10. 3rd International Workshop on Logics, Agents, and Mobility},
editor = {Berndt M\textbackslash{}"uller},
series = {EPiC Series in Computing},
volume = {7},
pages = {1},
year = {2012},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/3mf4},
doi = {10.29007/ntkm}}
@inproceedings{LAM'10:Modal_Location_Resource_Process_Logic_for,
author = {David Pym},
title = {Modal Location-Resource-Process Logic for Access Control},
booktitle = {LAM'10. 3rd International Workshop on Logics, Agents, and Mobility},
editor = {Berndt M\textbackslash{}"uller},
series = {EPiC Series in Computing},
volume = {7},
pages = {2},
year = {2012},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/xq},
doi = {10.29007/5bsb}}
@inproceedings{LAM'10:Reconciling_Population_and_Agent,
author = {Andrea Bracciali and Jane Hillston and Diego Latella and Mieke Massink},
title = {Reconciling Population and Agent Models for Crowd Dynamics},
booktitle = {LAM'10. 3rd International Workshop on Logics, Agents, and Mobility},
editor = {Berndt M\textbackslash{}"uller},
series = {EPiC Series in Computing},
volume = {7},
pages = {3--18},
year = {2012},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/3zlW},
doi = {10.29007/7cgj}}
@inproceedings{LAM'10:Survey_of_Elementary_Object,
author = {Michael K\textbackslash{}"ohler-Bu\{\textbackslash{}ss\}meier},
title = {A Survey of Elementary Object Systems},
booktitle = {LAM'10. 3rd International Workshop on Logics, Agents, and Mobility},
editor = {Berndt M\textbackslash{}"uller},
series = {EPiC Series in Computing},
volume = {7},
pages = {19--36},
year = {2012},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/SR6},
doi = {10.29007/dqbd}}
@inproceedings{LAM'10:Complexity_of_LTL_Model_Checking,
author = {Michael K\textbackslash{}"ohler-Bu\{\textbackslash{}ss\}meier and Frank Heitmann},
title = {Complexity of LTL Model-Checking for Safe Object Nets},
booktitle = {LAM'10. 3rd International Workshop on Logics, Agents, and Mobility},
editor = {Berndt M\textbackslash{}"uller},
series = {EPiC Series in Computing},
volume = {7},
pages = {37--51},
year = {2012},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/8kSf},
doi = {10.29007/hn5h}}
@inproceedings{LAM'10:Towards_Simply_Typed_CALculus,
author = {Michael Mendler and Stephan Scheele},
title = {Towards a Simply Typed CALculus for Semantic Knowledge Bases},
booktitle = {LAM'10. 3rd International Workshop on Logics, Agents, and Mobility},
editor = {Berndt M\textbackslash{}"uller},
series = {EPiC Series in Computing},
volume = {7},
pages = {52--67},
year = {2012},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/Kh},
doi = {10.29007/xlfw}}
@inproceedings{LAM'10:An_Operational_Semantics_for,
author = {Vivek Nigam and Limin Jia and Anduo Wang and Boon Thau Loo and Andre Scedrov},
title = {An Operational Semantics for Network Datalog},
booktitle = {LAM'10. 3rd International Workshop on Logics, Agents, and Mobility},
editor = {Berndt M\textbackslash{}"uller},
series = {EPiC Series in Computing},
volume = {7},
pages = {68--81},
year = {2012},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/7tMf},
doi = {10.29007/f89j}}
@inproceedings{LAM'10:Towards_Logic_for_Reasoning,
author = {Prakash Panangaden and Mehrnoosh Sadrzadeh},
title = {Towards a Logic for Reasoning About Learning in a Changing World},
booktitle = {LAM'10. 3rd International Workshop on Logics, Agents, and Mobility},
editor = {Berndt M\textbackslash{}"uller},
series = {EPiC Series in Computing},
volume = {7},
pages = {82--95},
year = {2012},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/sx6F},
doi = {10.29007/8g5j}}
@inproceedings{LAM'10:QWeS2T_for_Type_Safe_Web,
author = {Thierry Sans and Iliano Cervesato},
title = {QWeS2T for Type-Safe Web Programming},
booktitle = {LAM'10. 3rd International Workshop on Logics, Agents, and Mobility},
editor = {Berndt M\textbackslash{}"uller},
series = {EPiC Series in Computing},
volume = {7},
pages = {96--112},
year = {2012},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/Fz},
doi = {10.29007/gjh5}}