LAM'10:BibTeX Entries

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}}