Search dblp for Publications

export results for "toc:db/conf/birthday/csp2004.bht:"

 download as .bib file

@proceedings{DBLP:conf/birthday/2004csp,
  editor       = {Ali E. Abdallah and
                  Cliff B. Jones and
                  Jeff W. Sanders},
  title        = {Communicating Sequential Processes: The First 25 Years, Symposium
                  on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004, Revised
                  Invited Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3525},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/b136154},
  doi          = {10.1007/B136154},
  isbn         = {3-540-25813-2},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/2004csp.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/Brookes04,
  author       = {Stephen D. Brookes},
  editor       = {Ali E. Abdallah and
                  Cliff B. Jones and
                  Jeff W. Sanders},
  title        = {Retracing the Semantics of {CSP}},
  booktitle    = {Communicating Sequential Processes: The First 25 Years, Symposium
                  on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004, Revised
                  Invited Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3525},
  pages        = {1--14},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/11423348\_1},
  doi          = {10.1007/11423348\_1},
  timestamp    = {Tue, 14 May 2019 10:00:52 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/Brookes04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/ButlerHF04,
  author       = {Michael J. Butler and
                  C. A. R. Hoare and
                  Carla Ferreira},
  editor       = {Ali E. Abdallah and
                  Cliff B. Jones and
                  Jeff W. Sanders},
  title        = {A Trace Semantics for Long-Running Transactions},
  booktitle    = {Communicating Sequential Processes: The First 25 Years, Symposium
                  on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004, Revised
                  Invited Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3525},
  pages        = {133--150},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/11423348\_8},
  doi          = {10.1007/11423348\_8},
  timestamp    = {Fri, 02 Feb 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/birthday/ButlerHF04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/Creese04,
  author       = {Sadie Creese},
  editor       = {Ali E. Abdallah and
                  Cliff B. Jones and
                  Jeff W. Sanders},
  title        = {Industrial Strength {CSP:} Opportunities and Challenges in Model-Checking},
  booktitle    = {Communicating Sequential Processes: The First 25 Years, Symposium
                  on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004, Revised
                  Invited Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3525},
  pages        = {292--292},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/11423348\_18},
  doi          = {10.1007/11423348\_18},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/Creese04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/Goldsmith04,
  author       = {Michael Goldsmith},
  editor       = {Ali E. Abdallah and
                  Cliff B. Jones and
                  Jeff W. Sanders},
  title        = {Operational Semantics for Fun and Profit},
  booktitle    = {Communicating Sequential Processes: The First 25 Years, Symposium
                  on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004, Revised
                  Invited Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3525},
  pages        = {265--274},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/11423348\_16},
  doi          = {10.1007/11423348\_16},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/Goldsmith04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/He04,
  author       = {Jifeng He},
  editor       = {Ali E. Abdallah and
                  Cliff B. Jones and
                  Jeff W. Sanders},
  title        = {Linking Theories of Concurrency},
  booktitle    = {Communicating Sequential Processes: The First 25 Years, Symposium
                  on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004, Revised
                  Invited Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3525},
  pages        = {61--74},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/11423348\_4},
  doi          = {10.1007/11423348\_4},
  timestamp    = {Mon, 21 Mar 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/birthday/He04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/Hoare04a,
  author       = {C. A. R. Hoare},
  editor       = {Ali E. Abdallah and
                  Cliff B. Jones and
                  Jeff W. Sanders},
  title        = {Process Algebra: {A} Unifying Approach},
  booktitle    = {Communicating Sequential Processes: The First 25 Years, Symposium
                  on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004, Revised
                  Invited Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3525},
  pages        = {36--60},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/11423348\_3},
  doi          = {10.1007/11423348\_3},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/Hoare04a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/Josephs04,
  author       = {Mark B. Josephs},
  editor       = {Ali E. Abdallah and
                  Cliff B. Jones and
                  Jeff W. Sanders},
  title        = {Models for Data-Flow Sequential Processes},
  booktitle    = {Communicating Sequential Processes: The First 25 Years, Symposium
                  on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004, Revised
                  Invited Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3525},
  pages        = {85--97},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/11423348\_6},
  doi          = {10.1007/11423348\_6},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/Josephs04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/Lawrence04,
  author       = {Jonathan Lawrence},
  editor       = {Ali E. Abdallah and
                  Cliff B. Jones and
                  Jeff W. Sanders},
  title        = {Practical Application of {CSP} and {FDR} to Software Design},
  booktitle    = {Communicating Sequential Processes: The First 25 Years, Symposium
                  on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004, Revised
                  Invited Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3525},
  pages        = {151--174},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/11423348\_9},
  doi          = {10.1007/11423348\_9},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/Lawrence04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/LazicNR04,
  author       = {Ranko Lazic and
                  Thomas Christopher Newcomb and
                  A. W. Roscoe},
  editor       = {Ali E. Abdallah and
                  Cliff B. Jones and
                  Jeff W. Sanders},
  title        = {On Model Checking Data-Independent Systems with Arrays with Whole-Array
                  Operations},
  booktitle    = {Communicating Sequential Processes: The First 25 Years, Symposium
                  on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004, Revised
                  Invited Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3525},
  pages        = {275--291},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/11423348\_17},
  doi          = {10.1007/11423348\_17},
  timestamp    = {Thu, 22 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/LazicNR04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/MageeK04,
  author       = {Jeff Magee and
                  Jeff Kramer},
  editor       = {Ali E. Abdallah and
                  Cliff B. Jones and
                  Jeff W. Sanders},
  title        = {Model-Based Design of Concurrent Programs},
  booktitle    = {Communicating Sequential Processes: The First 25 Years, Symposium
                  on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004, Revised
                  Invited Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3525},
  pages        = {211--219},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/11423348\_11},
  doi          = {10.1007/11423348\_11},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/MageeK04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/May04,
  author       = {David May},
  editor       = {Ali E. Abdallah and
                  Cliff B. Jones and
                  Jeff W. Sanders},
  title        = {CSP, occam and Transputers},
  booktitle    = {Communicating Sequential Processes: The First 25 Years, Symposium
                  on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004, Revised
                  Invited Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3525},
  pages        = {75--84},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/11423348\_5},
  doi          = {10.1007/11423348\_5},
  timestamp    = {Mon, 20 Nov 2017 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/birthday/May04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/Morgan04,
  author       = {Carroll Morgan},
  editor       = {Ali E. Abdallah and
                  Cliff B. Jones and
                  Jeff W. Sanders},
  title        = {Of Probabilistic Wp and SP-and Compositionality},
  booktitle    = {Communicating Sequential Processes: The First 25 Years, Symposium
                  on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004, Revised
                  Invited Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3525},
  pages        = {220--241},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/11423348\_12},
  doi          = {10.1007/11423348\_12},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/Morgan04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/Peeters04,
  author       = {Ad M. G. Peeters},
  editor       = {Ali E. Abdallah and
                  Cliff B. Jones and
                  Jeff W. Sanders},
  title        = {Implementation of Handshake Components},
  booktitle    = {Communicating Sequential Processes: The First 25 Years, Symposium
                  on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004, Revised
                  Invited Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3525},
  pages        = {98--132},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/11423348\_7},
  doi          = {10.1007/11423348\_7},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/Peeters04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/Peleska04,
  author       = {Jan Peleska},
  editor       = {Ali E. Abdallah and
                  Cliff B. Jones and
                  Jeff W. Sanders},
  title        = {Applied Formal Methods - From {CSP} to Executable Hybrid Specifications},
  booktitle    = {Communicating Sequential Processes: The First 25 Years, Symposium
                  on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004, Revised
                  Invited Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3525},
  pages        = {293--320},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/11423348\_19},
  doi          = {10.1007/11423348\_19},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/Peleska04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/Reed04,
  author       = {Mike Reed},
  editor       = {Ali E. Abdallah and
                  Cliff B. Jones and
                  Jeff W. Sanders},
  title        = {Order, Topology, and Recursion Induction in {CSP}},
  booktitle    = {Communicating Sequential Processes: The First 25 Years, Symposium
                  on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004, Revised
                  Invited Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3525},
  pages        = {242--242},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/11423348\_13},
  doi          = {10.1007/11423348\_13},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/Reed04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/Roscoe04,
  author       = {A. W. Roscoe},
  editor       = {Ali E. Abdallah and
                  Cliff B. Jones and
                  Jeff W. Sanders},
  title        = {Seeing Beyond Divergence},
  booktitle    = {Communicating Sequential Processes: The First 25 Years, Symposium
                  on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004, Revised
                  Invited Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3525},
  pages        = {15--35},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/11423348\_2},
  doi          = {10.1007/11423348\_2},
  timestamp    = {Mon, 18 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/Roscoe04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/Ryan04,
  author       = {Peter Y. A. Ryan},
  editor       = {Ali E. Abdallah and
                  Cliff B. Jones and
                  Jeff W. Sanders},
  title        = {Shedding Light on Haunted Corners of Information Security},
  booktitle    = {Communicating Sequential Processes: The First 25 Years, Symposium
                  on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004, Revised
                  Invited Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3525},
  pages        = {264--264},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/11423348\_15},
  doi          = {10.1007/11423348\_15},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/Ryan04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/SchneiderD04,
  author       = {Steve A. Schneider and
                  Rob Delicata},
  editor       = {Ali E. Abdallah and
                  Cliff B. Jones and
                  Jeff W. Sanders},
  title        = {Verifying Security Protocols: An Application of {CSP}},
  booktitle    = {Communicating Sequential Processes: The First 25 Years, Symposium
                  on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004, Revised
                  Invited Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3525},
  pages        = {243--263},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/11423348\_14},
  doi          = {10.1007/11423348\_14},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/birthday/SchneiderD04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/WelchB04,
  author       = {Peter H. Welch and
                  Fred R. M. Barnes},
  editor       = {Ali E. Abdallah and
                  Cliff B. Jones and
                  Jeff W. Sanders},
  title        = {Communicating Mobile Processes},
  booktitle    = {Communicating Sequential Processes: The First 25 Years, Symposium
                  on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004, Revised
                  Invited Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3525},
  pages        = {175--210},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/11423348\_10},
  doi          = {10.1007/11423348\_10},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/WelchB04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

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.