Search dblp for Publications

export results for "toc:db/series/eptcs/eptcs120.bht:"

 download as .bib file

@inproceedings{DBLP:journals/corr/AcetoGI13,
  author       = {Luca Aceto and
                  Eugen{-}Ioan Goriac and
                  Anna Ing{\'{o}}lfsd{\'{o}}ttir},
  editor       = {Johannes Borgstr{\"{o}}m and
                  Bas Luttik},
  title        = {Meta {SOS} - {A} Maude Based {SOS} Meta-Theory Framework},
  booktitle    = {Proceedings Combined 20th International Workshop on Expressiveness
                  in Concurrency and 10th Workshop on Structural Operational Semantics,
                  {EXPRESS/SOS} 2013, Buenos Aires, Argentina, 26th August, 2013},
  series       = {{EPTCS}},
  volume       = {120},
  pages        = {93--107},
  year         = {2013},
  url          = {https://doi.org/10.4204/EPTCS.120.8},
  doi          = {10.4204/EPTCS.120.8},
  timestamp    = {Wed, 12 Sep 2018 01:05:15 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/AcetoGI13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/ArbachPN13,
  author       = {Youssef Arbach and
                  Kirstin Peters and
                  Uwe Nestmann},
  editor       = {Johannes Borgstr{\"{o}}m and
                  Bas Luttik},
  title        = {Adding Priority to Event Structures},
  booktitle    = {Proceedings Combined 20th International Workshop on Expressiveness
                  in Concurrency and 10th Workshop on Structural Operational Semantics,
                  {EXPRESS/SOS} 2013, Buenos Aires, Argentina, 26th August, 2013},
  series       = {{EPTCS}},
  volume       = {120},
  pages        = {17--31},
  year         = {2013},
  url          = {https://doi.org/10.4204/EPTCS.120.3},
  doi          = {10.4204/EPTCS.120.3},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/ArbachPN13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/CervesatoS13,
  author       = {Iliano Cervesato and
                  Jorge Luis Sacchini},
  editor       = {Johannes Borgstr{\"{o}}m and
                  Bas Luttik},
  title        = {Towards Meta-Reasoning in the Concurrent Logical Framework {CLF}},
  booktitle    = {Proceedings Combined 20th International Workshop on Expressiveness
                  in Concurrency and 10th Workshop on Structural Operational Semantics,
                  {EXPRESS/SOS} 2013, Buenos Aires, Argentina, 26th August, 2013},
  series       = {{EPTCS}},
  volume       = {120},
  pages        = {2--16},
  year         = {2013},
  url          = {https://doi.org/10.4204/EPTCS.120.2},
  doi          = {10.4204/EPTCS.120.2},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/CervesatoS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/Cuijpers13,
  author       = {Pieter J. L. Cuijpers},
  editor       = {Johannes Borgstr{\"{o}}m and
                  Bas Luttik},
  title        = {The categorical limit of a sequence of dynamical systems},
  booktitle    = {Proceedings Combined 20th International Workshop on Expressiveness
                  in Concurrency and 10th Workshop on Structural Operational Semantics,
                  {EXPRESS/SOS} 2013, Buenos Aires, Argentina, 26th August, 2013},
  series       = {{EPTCS}},
  volume       = {120},
  pages        = {78--92},
  year         = {2013},
  url          = {https://doi.org/10.4204/EPTCS.120.7},
  doi          = {10.4204/EPTCS.120.7},
  timestamp    = {Fri, 27 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/Cuijpers13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/GeblerGM13,
  author       = {Daniel Gebler and
                  Eugen{-}Ioan Goriac and
                  Mohammad Reza Mousavi},
  editor       = {Johannes Borgstr{\"{o}}m and
                  Bas Luttik},
  title        = {Algebraic Meta-Theory of Processes with Data},
  booktitle    = {Proceedings Combined 20th International Workshop on Expressiveness
                  in Concurrency and 10th Workshop on Structural Operational Semantics,
                  {EXPRESS/SOS} 2013, Buenos Aires, Argentina, 26th August, 2013},
  series       = {{EPTCS}},
  volume       = {120},
  pages        = {63--77},
  year         = {2013},
  url          = {https://doi.org/10.4204/EPTCS.120.6},
  doi          = {10.4204/EPTCS.120.6},
  timestamp    = {Sat, 11 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/GeblerGM13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/GeblerT13,
  author       = {Daniel Gebler and
                  Simone Tini},
  editor       = {Johannes Borgstr{\"{o}}m and
                  Bas Luttik},
  title        = {Compositionality of Approximate Bisimulation for Probabilistic Systems},
  booktitle    = {Proceedings Combined 20th International Workshop on Expressiveness
                  in Concurrency and 10th Workshop on Structural Operational Semantics,
                  {EXPRESS/SOS} 2013, Buenos Aires, Argentina, 26th August, 2013},
  series       = {{EPTCS}},
  volume       = {120},
  pages        = {32--46},
  year         = {2013},
  url          = {https://doi.org/10.4204/EPTCS.120.4},
  doi          = {10.4204/EPTCS.120.4},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/GeblerT13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/GuhaKNA13,
  author       = {Shibashis Guha and
                  Shankara Narayanan Krishna and
                  Chinmay Narayan and
                  S. Arun{-}Kumar},
  editor       = {Johannes Borgstr{\"{o}}m and
                  Bas Luttik},
  title        = {A Unifying Approach to Decide Relations for Timed Automata and their
                  Game Characterization},
  booktitle    = {Proceedings Combined 20th International Workshop on Expressiveness
                  in Concurrency and 10th Workshop on Structural Operational Semantics,
                  {EXPRESS/SOS} 2013, Buenos Aires, Argentina, 26th August, 2013},
  series       = {{EPTCS}},
  volume       = {120},
  pages        = {47--62},
  year         = {2013},
  url          = {https://doi.org/10.4204/EPTCS.120.5},
  doi          = {10.4204/EPTCS.120.5},
  timestamp    = {Tue, 10 Nov 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/GuhaKNA13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:journals/corr/BorgstromL13,
  editor       = {Johannes Borgstr{\"{o}}m and
                  Bas Luttik},
  title        = {Proceedings Combined 20th International Workshop on Expressiveness
                  in Concurrency and 10th Workshop on Structural Operational Semantics,
                  {EXPRESS/SOS} 2013, Buenos Aires, Argentina, 26th August, 2013},
  series       = {{EPTCS}},
  volume       = {120},
  year         = {2013},
  url          = {https://doi.org/10.4204/EPTCS.120},
  doi          = {10.4204/EPTCS.120},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/BorgstromL13.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.