Search dblp for Publications

export results for "toc:db/conf/nato/logics1984.bht:"

 download as .bib file

@proceedings{DBLP:conf/nato/1984,
  editor       = {Krzysztof R. Apt},
  title        = {Logics and Models of Concurrent Systems - Conference proceedings,
                  Colle-sur-Loup (near Nice), France, 8-19 October 1984},
  series       = {{NATO} {ASI} Series},
  volume       = {13},
  publisher    = {Springer},
  year         = {1985},
  url          = {https://doi.org/10.1007/978-3-642-82453-1},
  doi          = {10.1007/978-3-642-82453-1},
  isbn         = {978-3-642-82455-5},
  timestamp    = {Fri, 17 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/nato/1984.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/nato/Apt84,
  author       = {Krzysztof R. Apt},
  editor       = {Krzysztof R. Apt},
  title        = {Correctness Proofs of Distributed Termination Algorithms},
  booktitle    = {Logics and Models of Concurrent Systems - Conference proceedings,
                  Colle-sur-Loup (near Nice), France, 8-19 October 1984},
  series       = {{NATO} {ASI} Series},
  volume       = {13},
  pages        = {147--167},
  publisher    = {Springer},
  year         = {1984},
  url          = {https://doi.org/10.1007/978-3-642-82453-1\_6},
  doi          = {10.1007/978-3-642-82453-1\_6},
  timestamp    = {Fri, 17 Apr 2020 17:55:08 +0200},
  biburl       = {https://dblp.org/rec/conf/nato/Apt84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/nato/Boudol84,
  author       = {G{\'{e}}rard Boudol},
  editor       = {Krzysztof R. Apt},
  title        = {Notes on Algebraic Calculi of Processes},
  booktitle    = {Logics and Models of Concurrent Systems - Conference proceedings,
                  Colle-sur-Loup (near Nice), France, 8-19 October 1984},
  series       = {{NATO} {ASI} Series},
  volume       = {13},
  pages        = {261--303},
  publisher    = {Springer},
  year         = {1984},
  url          = {https://doi.org/10.1007/978-3-642-82453-1\_9},
  doi          = {10.1007/978-3-642-82453-1\_9},
  timestamp    = {Fri, 17 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/nato/Boudol84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/nato/BrookesR84,
  author       = {Stephen D. Brookes and
                  A. W. Roscoe},
  editor       = {Krzysztof R. Apt},
  title        = {Deadlock Analysis in Networks of Communicating Processes},
  booktitle    = {Logics and Models of Concurrent Systems - Conference proceedings,
                  Colle-sur-Loup (near Nice), France, 8-19 October 1984},
  series       = {{NATO} {ASI} Series},
  volume       = {13},
  pages        = {305--323},
  publisher    = {Springer},
  year         = {1984},
  url          = {https://doi.org/10.1007/978-3-642-82453-1\_10},
  doi          = {10.1007/978-3-642-82453-1\_10},
  timestamp    = {Mon, 18 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/nato/BrookesR84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/nato/Cerro84,
  author       = {Luis Fari{\~{n}}as del Cerro},
  editor       = {Krzysztof R. Apt},
  title        = {Resolution Modal Logics},
  booktitle    = {Logics and Models of Concurrent Systems - Conference proceedings,
                  Colle-sur-Loup (near Nice), France, 8-19 October 1984},
  series       = {{NATO} {ASI} Series},
  volume       = {13},
  pages        = {27--55},
  publisher    = {Springer},
  year         = {1984},
  url          = {https://doi.org/10.1007/978-3-642-82453-1\_2},
  doi          = {10.1007/978-3-642-82453-1\_2},
  timestamp    = {Fri, 17 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/nato/Cerro84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/nato/ChandyM84,
  author       = {K. Mani Chandy and
                  Jayadev Misra},
  editor       = {Krzysztof R. Apt},
  title        = {A Paradigm for Detecting Quiescent Properties in Distributed Computations},
  booktitle    = {Logics and Models of Concurrent Systems - Conference proceedings,
                  Colle-sur-Loup (near Nice), France, 8-19 October 1984},
  series       = {{NATO} {ASI} Series},
  volume       = {13},
  pages        = {325--341},
  publisher    = {Springer},
  year         = {1984},
  url          = {https://doi.org/10.1007/978-3-642-82453-1\_11},
  doi          = {10.1007/978-3-642-82453-1\_11},
  timestamp    = {Fri, 17 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/nato/ChandyM84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/nato/ClarkeBES84,
  author       = {Edmund M. Clarke and
                  Michael C. Browne and
                  E. Allen Emerson and
                  A. Prasad Sistla},
  editor       = {Krzysztof R. Apt},
  title        = {Using Temporal Logic for Automatic Verification of Finite State Systems},
  booktitle    = {Logics and Models of Concurrent Systems - Conference proceedings,
                  Colle-sur-Loup (near Nice), France, 8-19 October 1984},
  series       = {{NATO} {ASI} Series},
  volume       = {13},
  pages        = {3--26},
  publisher    = {Springer},
  year         = {1984},
  url          = {https://doi.org/10.1007/978-3-642-82453-1\_1},
  doi          = {10.1007/978-3-642-82453-1\_1},
  timestamp    = {Fri, 17 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/nato/ClarkeBES84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/nato/Darondeau84,
  author       = {Philippe Darondeau},
  editor       = {Krzysztof R. Apt},
  title        = {About Fair Asynchrony},
  booktitle    = {Logics and Models of Concurrent Systems - Conference proceedings,
                  Colle-sur-Loup (near Nice), France, 8-19 October 1984},
  series       = {{NATO} {ASI} Series},
  volume       = {13},
  pages        = {343--368},
  publisher    = {Springer},
  year         = {1984},
  url          = {https://doi.org/10.1007/978-3-642-82453-1\_12},
  doi          = {10.1007/978-3-642-82453-1\_12},
  timestamp    = {Fri, 17 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/nato/Darondeau84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/nato/FrancezHT84,
  author       = {Nissim Francez and
                  Brent Hailpern and
                  Gadi Taubenfeld},
  editor       = {Krzysztof R. Apt},
  title        = {Script: {A} Communication Abstraction Mechanism and its Verification},
  booktitle    = {Logics and Models of Concurrent Systems - Conference proceedings,
                  Colle-sur-Loup (near Nice), France, 8-19 October 1984},
  series       = {{NATO} {ASI} Series},
  volume       = {13},
  pages        = {169--212},
  publisher    = {Springer},
  year         = {1984},
  url          = {https://doi.org/10.1007/978-3-642-82453-1\_7},
  doi          = {10.1007/978-3-642-82453-1\_7},
  timestamp    = {Fri, 17 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/nato/FrancezHT84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/nato/Gabbay84,
  author       = {Dov M. Gabbay},
  editor       = {Krzysztof R. Apt},
  title        = {Theoretical Foundations for Non-Monotonic Reasoning in Expert Systems},
  booktitle    = {Logics and Models of Concurrent Systems - Conference proceedings,
                  Colle-sur-Loup (near Nice), France, 8-19 October 1984},
  series       = {{NATO} {ASI} Series},
  volume       = {13},
  pages        = {439--457},
  publisher    = {Springer},
  year         = {1984},
  url          = {https://doi.org/10.1007/978-3-642-82453-1\_15},
  doi          = {10.1007/978-3-642-82453-1\_15},
  timestamp    = {Fri, 17 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/nato/Gabbay84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/nato/GrafS84,
  author       = {Susanne Graf and
                  Joseph Sifakis},
  editor       = {Krzysztof R. Apt},
  title        = {A Logic for the Specification and Proof of Controllable Processes
                  of {CCS}},
  booktitle    = {Logics and Models of Concurrent Systems - Conference proceedings,
                  Colle-sur-Loup (near Nice), France, 8-19 October 1984},
  series       = {{NATO} {ASI} Series},
  volume       = {13},
  pages        = {369--395},
  publisher    = {Springer},
  year         = {1984},
  url          = {https://doi.org/10.1007/978-3-642-82453-1\_13},
  doi          = {10.1007/978-3-642-82453-1\_13},
  timestamp    = {Fri, 17 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/nato/GrafS84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/nato/Hailpern84,
  author       = {Brent Hailpern},
  editor       = {Krzysztof R. Apt},
  title        = {Tools for Verifying Network Protocols},
  booktitle    = {Logics and Models of Concurrent Systems - Conference proceedings,
                  Colle-sur-Loup (near Nice), France, 8-19 October 1984},
  series       = {{NATO} {ASI} Series},
  volume       = {13},
  pages        = {57--76},
  publisher    = {Springer},
  year         = {1984},
  url          = {https://doi.org/10.1007/978-3-642-82453-1\_3},
  doi          = {10.1007/978-3-642-82453-1\_3},
  timestamp    = {Fri, 17 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/nato/Hailpern84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/nato/HalpernM84,
  author       = {Joseph Y. Halpern and
                  Yoram Moses},
  editor       = {Krzysztof R. Apt},
  title        = {Towards a Theory of Knowledge and Ignorance: Preliminary Report},
  booktitle    = {Logics and Models of Concurrent Systems - Conference proceedings,
                  Colle-sur-Loup (near Nice), France, 8-19 October 1984},
  series       = {{NATO} {ASI} Series},
  volume       = {13},
  pages        = {459--476},
  publisher    = {Springer},
  year         = {1984},
  url          = {https://doi.org/10.1007/978-3-642-82453-1\_16},
  doi          = {10.1007/978-3-642-82453-1\_16},
  timestamp    = {Fri, 17 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/nato/HalpernM84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/nato/HarelP84,
  author       = {David Harel and
                  Amir Pnueli},
  editor       = {Krzysztof R. Apt},
  title        = {On the Development of Reactive Systems},
  booktitle    = {Logics and Models of Concurrent Systems - Conference proceedings,
                  Colle-sur-Loup (near Nice), France, 8-19 October 1984},
  series       = {{NATO} {ASI} Series},
  volume       = {13},
  pages        = {477--498},
  publisher    = {Springer},
  year         = {1984},
  url          = {https://doi.org/10.1007/978-3-642-82453-1\_17},
  doi          = {10.1007/978-3-642-82453-1\_17},
  timestamp    = {Fri, 17 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/nato/HarelP84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/nato/Lamport84,
  author       = {Leslie Lamport},
  editor       = {Krzysztof R. Apt},
  title        = {An Axiomatic Semantics of Concurrent Programming Languages},
  booktitle    = {Logics and Models of Concurrent Systems - Conference proceedings,
                  Colle-sur-Loup (near Nice), France, 8-19 October 1984},
  series       = {{NATO} {ASI} Series},
  volume       = {13},
  pages        = {77--122},
  publisher    = {Springer},
  year         = {1984},
  url          = {https://doi.org/10.1007/978-3-642-82453-1\_4},
  doi          = {10.1007/978-3-642-82453-1\_4},
  timestamp    = {Fri, 17 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/nato/Lamport84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/nato/Olderog84,
  author       = {Ernst{-}R{\"{u}}diger Olderog},
  editor       = {Krzysztof R. Apt},
  title        = {Specification-Oriented Programming in {TCSP}},
  booktitle    = {Logics and Models of Concurrent Systems - Conference proceedings,
                  Colle-sur-Loup (near Nice), France, 8-19 October 1984},
  series       = {{NATO} {ASI} Series},
  volume       = {13},
  pages        = {397--435},
  publisher    = {Springer},
  year         = {1984},
  url          = {https://doi.org/10.1007/978-3-642-82453-1\_14},
  doi          = {10.1007/978-3-642-82453-1\_14},
  timestamp    = {Fri, 17 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/nato/Olderog84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/nato/Pnueli84,
  author       = {Amir Pnueli},
  editor       = {Krzysztof R. Apt},
  title        = {In Transition From Global to Modular Temporal Reasoning about Programs},
  booktitle    = {Logics and Models of Concurrent Systems - Conference proceedings,
                  Colle-sur-Loup (near Nice), France, 8-19 October 1984},
  series       = {{NATO} {ASI} Series},
  volume       = {13},
  pages        = {123--144},
  publisher    = {Springer},
  year         = {1984},
  url          = {https://doi.org/10.1007/978-3-642-82453-1\_5},
  doi          = {10.1007/978-3-642-82453-1\_5},
  timestamp    = {Fri, 17 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/nato/Pnueli84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/nato/Roever84,
  author       = {Willem P. de Roever},
  editor       = {Krzysztof R. Apt},
  title        = {The Cooperation Test : a syntax-directed verification method},
  booktitle    = {Logics and Models of Concurrent Systems - Conference proceedings,
                  Colle-sur-Loup (near Nice), France, 8-19 October 1984},
  series       = {{NATO} {ASI} Series},
  volume       = {13},
  pages        = {213--257},
  publisher    = {Springer},
  year         = {1984},
  url          = {https://doi.org/10.1007/978-3-642-82453-1\_8},
  doi          = {10.1007/978-3-642-82453-1\_8},
  timestamp    = {Fri, 17 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/nato/Roever84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.