Search dblp for Publications

export results for "toc:db/conf/sos/sos2007.bht:"

 download as .bib file

@inproceedings{DBLP:journals/entcs/BengtsonP07,
  author       = {Jesper Bengtson and
                  Joachim Parrow},
  editor       = {Rob van Glabbeek and
                  Matthew Hennessy},
  title        = {A Completeness Proof for Bisimulation in the pi-calculus Using Isabelle},
  booktitle    = {Proceedings of the Fourth Workshop on Structural Operational Semantics,
                  SOS@LICS/ICALP 2007, Wroclaw, Poland, July 9, 2007},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {192},
  number       = {1},
  pages        = {61--75},
  publisher    = {Elsevier},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.entcs.2007.08.017},
  doi          = {10.1016/J.ENTCS.2007.08.017},
  timestamp    = {Thu, 09 Feb 2023 10:45:04 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/BengtsonP07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/CousotC07,
  author       = {Patrick Cousot and
                  Radhia Cousot},
  editor       = {Rob van Glabbeek and
                  Matthew Hennessy},
  title        = {Bi-inductive Structural Semantics: (Extended Abstract)},
  booktitle    = {Proceedings of the Fourth Workshop on Structural Operational Semantics,
                  SOS@LICS/ICALP 2007, Wroclaw, Poland, July 9, 2007},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {192},
  number       = {1},
  pages        = {29--44},
  publisher    = {Elsevier},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.entcs.2007.08.015},
  doi          = {10.1016/J.ENTCS.2007.08.015},
  timestamp    = {Thu, 09 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/CousotC07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/FecherS07,
  author       = {Harald Fecher and
                  Heiko Schmidt},
  editor       = {Rob van Glabbeek and
                  Matthew Hennessy},
  title        = {Process Algebra Having Inherent Choice: Revised Semantics for Concurrent
                  Systems},
  booktitle    = {Proceedings of the Fourth Workshop on Structural Operational Semantics,
                  SOS@LICS/ICALP 2007, Wroclaw, Poland, July 9, 2007},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {192},
  number       = {1},
  pages        = {45--60},
  publisher    = {Elsevier},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.entcs.2007.08.016},
  doi          = {10.1016/J.ENTCS.2007.08.016},
  timestamp    = {Thu, 09 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/FecherS07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Frutos-EscrigG07,
  author       = {David de Frutos{-}Escrig and
                  Carlos Gregorio{-}Rodr{\'{\i}}guez},
  editor       = {Rob van Glabbeek and
                  Matthew Hennessy},
  title        = {Simulations Up-to and Canonical Preorders: (Extended Abstract)},
  booktitle    = {Proceedings of the Fourth Workshop on Structural Operational Semantics,
                  SOS@LICS/ICALP 2007, Wroclaw, Poland, July 9, 2007},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {192},
  number       = {1},
  pages        = {13--28},
  publisher    = {Elsevier},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.entcs.2007.08.014},
  doi          = {10.1016/J.ENTCS.2007.08.014},
  timestamp    = {Thu, 09 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Frutos-EscrigG07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/GlabbeekH07,
  author       = {Rob J. van Glabbeek and
                  Matthew Hennessy},
  editor       = {Rob van Glabbeek and
                  Matthew Hennessy},
  title        = {Preface},
  booktitle    = {Proceedings of the Fourth Workshop on Structural Operational Semantics,
                  SOS@LICS/ICALP 2007, Wroclaw, Poland, July 9, 2007},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {192},
  number       = {1},
  pages        = {1--3},
  publisher    = {Elsevier},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.entcs.2007.10.001},
  doi          = {10.1016/J.ENTCS.2007.10.001},
  timestamp    = {Thu, 09 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/GlabbeekH07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Kiehn07,
  author       = {Astrid Kiehn},
  editor       = {Rob van Glabbeek and
                  Matthew Hennessy},
  title        = {An Operational Semantics for Shared Messaging Communication},
  booktitle    = {Proceedings of the Fourth Workshop on Structural Operational Semantics,
                  SOS@LICS/ICALP 2007, Wroclaw, Poland, July 9, 2007},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {192},
  number       = {1},
  pages        = {77--92},
  publisher    = {Elsevier},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.entcs.2007.08.021},
  doi          = {10.1016/J.ENTCS.2007.08.021},
  timestamp    = {Thu, 09 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Kiehn07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/MousaviR07a,
  author       = {Mohammad Reza Mousavi and
                  Michel A. Reniers},
  editor       = {Rob van Glabbeek and
                  Matthew Hennessy},
  title        = {A Congruence Rule Format with Universal Quantification},
  booktitle    = {Proceedings of the Fourth Workshop on Structural Operational Semantics,
                  SOS@LICS/ICALP 2007, Wroclaw, Poland, July 9, 2007},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {192},
  number       = {1},
  pages        = {109--124},
  publisher    = {Elsevier},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.entcs.2007.08.019},
  doi          = {10.1016/J.ENTCS.2007.08.019},
  timestamp    = {Thu, 09 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/MousaviR07a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/PhillipsU07,
  author       = {Iain Phillips and
                  Irek Ulidowski},
  editor       = {Rob van Glabbeek and
                  Matthew Hennessy},
  title        = {Reversibility and Models for Concurrency},
  booktitle    = {Proceedings of the Fourth Workshop on Structural Operational Semantics,
                  SOS@LICS/ICALP 2007, Wroclaw, Poland, July 9, 2007},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {192},
  number       = {1},
  pages        = {93--108},
  publisher    = {Elsevier},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.entcs.2007.08.018},
  doi          = {10.1016/J.ENTCS.2007.08.018},
  timestamp    = {Thu, 09 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/PhillipsU07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/SerbanutaRM07,
  author       = {Traian{-}Florin Serbanuta and
                  Grigore Rosu and
                  Jos{\'{e}} Meseguer},
  editor       = {Rob van Glabbeek and
                  Matthew Hennessy},
  title        = {A Rewriting Logic Approach to Operational Semantics (Extended Abstract)},
  booktitle    = {Proceedings of the Fourth Workshop on Structural Operational Semantics,
                  SOS@LICS/ICALP 2007, Wroclaw, Poland, July 9, 2007},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {192},
  number       = {1},
  pages        = {125--141},
  publisher    = {Elsevier},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.entcs.2007.08.020},
  doi          = {10.1016/J.ENTCS.2007.08.020},
  timestamp    = {Thu, 21 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/SerbanutaRM07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Sobocinski07,
  author       = {Pawel Sobocinski},
  editor       = {Rob van Glabbeek and
                  Matthew Hennessy},
  title        = {A Well-behaved {LTS} for the Pi-calculus: (Abstract)},
  booktitle    = {Proceedings of the Fourth Workshop on Structural Operational Semantics,
                  SOS@LICS/ICALP 2007, Wroclaw, Poland, July 9, 2007},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {192},
  number       = {1},
  pages        = {5--11},
  publisher    = {Elsevier},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.entcs.2007.10.002},
  doi          = {10.1016/J.ENTCS.2007.10.002},
  timestamp    = {Thu, 09 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Sobocinski07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/sos/2007,
  editor       = {Rob van Glabbeek and
                  Matthew Hennessy},
  title        = {Proceedings of the Fourth Workshop on Structural Operational Semantics,
                  SOS@LICS/ICALP 2007, Wroclaw, Poland, July 9, 2007},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {192},
  number       = {1},
  publisher    = {Elsevier},
  year         = {2007},
  url          = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/192/issue/1},
  timestamp    = {Thu, 09 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sos/2007.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.