LAM'10: BibTeX Entries

Volume

@proceedings{LAM'10,
  title     = {LAM'10. 3rd International Workshop on Logics, Agents, and Mobility},
  editor    = {Berndt Müller},
  series    = {EPiC Series in Computing},
  volume    = {7},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  year      = {2012}}

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üller},
  series    = {EPiC Series in Computing},
  volume    = {7},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/3mf4},
  doi       = {10.29007/ntkm},
  pages     = {1},
  year      = {2012}}


@inproceedings{LAM'10:Modal_Location_Resource_Process,
  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üller},
  series    = {EPiC Series in Computing},
  volume    = {7},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/xq},
  doi       = {10.29007/5bsb},
  pages     = {2},
  year      = {2012}}


@inproceedings{LAM'10:Reconciling_Population_Agent_Models,
  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üller},
  series    = {EPiC Series in Computing},
  volume    = {7},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/3zlW},
  doi       = {10.29007/7cgj},
  pages     = {3-18},
  year      = {2012}}


@inproceedings{LAM'10:Survey_Elementary_Object_Systems,
  author    = {Michael Köhler-Bußmeier},
  title     = {A Survey of Elementary Object Systems},
  booktitle = {LAM'10. 3rd International Workshop on Logics, Agents, and Mobility},
  editor    = {Berndt Müller},
  series    = {EPiC Series in Computing},
  volume    = {7},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/SR6},
  doi       = {10.29007/dqbd},
  pages     = {19-36},
  year      = {2012}}


@inproceedings{LAM'10:Complexity_LTL_Model_Checking,
  author    = {Michael Köhler-Buß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üller},
  series    = {EPiC Series in Computing},
  volume    = {7},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/8kSf},
  doi       = {10.29007/hn5h},
  pages     = {37-51},
  year      = {2012}}


@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üller},
  series    = {EPiC Series in Computing},
  volume    = {7},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/Kh},
  doi       = {10.29007/xlfw},
  pages     = {52-67},
  year      = {2012}}


@inproceedings{LAM'10:Operational_Semantics_Network_Datalog,
  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üller},
  series    = {EPiC Series in Computing},
  volume    = {7},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/7tMf},
  doi       = {10.29007/f89j},
  pages     = {68-81},
  year      = {2012}}


@inproceedings{LAM'10:Towards_Logic_Reasoning_About,
  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üller},
  series    = {EPiC Series in Computing},
  volume    = {7},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/sx6F},
  doi       = {10.29007/8g5j},
  pages     = {82-95},
  year      = {2012}}


@inproceedings{LAM'10:QWeS2T_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üller},
  series    = {EPiC Series in Computing},
  volume    = {7},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/Fz},
  doi       = {10.29007/gjh5},
  pages     = {96-112},
  year      = {2012}}