Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:journals/corr/abs-1208-2746,
  author       = {Marcello M. Bonsangue and
                  Stefan Milius and
                  Jurriaan Rot},
  editor       = {Bas Luttik and
                  Michel A. Reniers},
  title        = {On the specification of operations on the rational behaviour of systems},
  booktitle    = {Proceedings Combined 19th International Workshop on Expressiveness
                  in Concurrency and 9th Workshop on Structured Operational Semantics,
                  {EXPRESS/SOS} 2012, Newcastle upon Tyne, UK, September 3, 2012},
  series       = {{EPTCS}},
  volume       = {89},
  pages        = {3--18},
  year         = {2012},
  url          = {https://doi.org/10.4204/EPTCS.89.2},
  doi          = {10.4204/EPTCS.89.2},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1208-2746.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1208-2747,
  author       = {Wojciech Czerwinski and
                  Slawomir Lasota},
  editor       = {Bas Luttik and
                  Michel A. Reniers},
  title        = {Partially-commutative context-free languages},
  booktitle    = {Proceedings Combined 19th International Workshop on Expressiveness
                  in Concurrency and 9th Workshop on Structured Operational Semantics,
                  {EXPRESS/SOS} 2012, Newcastle upon Tyne, UK, September 3, 2012},
  series       = {{EPTCS}},
  volume       = {89},
  pages        = {35--48},
  year         = {2012},
  url          = {https://doi.org/10.4204/EPTCS.89.4},
  doi          = {10.4204/EPTCS.89.4},
  timestamp    = {Wed, 06 Nov 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1208-2747.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1208-2748,
  author       = {Maciej Gazda and
                  Tim A. C. Willemse},
  editor       = {Bas Luttik and
                  Michel A. Reniers},
  title        = {Expressiveness and Completeness in Abstraction},
  booktitle    = {Proceedings Combined 19th International Workshop on Expressiveness
                  in Concurrency and 9th Workshop on Structured Operational Semantics,
                  {EXPRESS/SOS} 2012, Newcastle upon Tyne, UK, September 3, 2012},
  series       = {{EPTCS}},
  volume       = {89},
  pages        = {49--64},
  year         = {2012},
  url          = {https://doi.org/10.4204/EPTCS.89.5},
  doi          = {10.4204/EPTCS.89.5},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1208-2748.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1208-2749,
  author       = {Marco Giunti and
                  Catuscia Palamidessi and
                  Frank D. Valencia},
  editor       = {Bas Luttik and
                  Michel A. Reniers},
  title        = {Hide and New in the Pi-Calculus},
  booktitle    = {Proceedings Combined 19th International Workshop on Expressiveness
                  in Concurrency and 9th Workshop on Structured Operational Semantics,
                  {EXPRESS/SOS} 2012, Newcastle upon Tyne, UK, September 3, 2012},
  series       = {{EPTCS}},
  volume       = {89},
  pages        = {65--79},
  year         = {2012},
  url          = {https://doi.org/10.4204/EPTCS.89.6},
  doi          = {10.4204/EPTCS.89.6},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1208-2749.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1208-2750,
  author       = {Rob J. van Glabbeek},
  editor       = {Bas Luttik and
                  Michel A. Reniers},
  title        = {Musings on Encodings and Expressiveness},
  booktitle    = {Proceedings Combined 19th International Workshop on Expressiveness
                  in Concurrency and 9th Workshop on Structured Operational Semantics,
                  {EXPRESS/SOS} 2012, Newcastle upon Tyne, UK, September 3, 2012},
  series       = {{EPTCS}},
  volume       = {89},
  pages        = {81--98},
  year         = {2012},
  url          = {https://doi.org/10.4204/EPTCS.89.7},
  doi          = {10.4204/EPTCS.89.7},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1208-2750.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1208-2751,
  author       = {Piotr Hofman and
                  Patrick Totzke},
  editor       = {Bas Luttik and
                  Michel A. Reniers},
  title        = {Approximating Weak Bisimilarity of Basic Parallel Processes},
  booktitle    = {Proceedings Combined 19th International Workshop on Expressiveness
                  in Concurrency and 9th Workshop on Structured Operational Semantics,
                  {EXPRESS/SOS} 2012, Newcastle upon Tyne, UK, September 3, 2012},
  series       = {{EPTCS}},
  volume       = {89},
  pages        = {99--113},
  year         = {2012},
  url          = {https://doi.org/10.4204/EPTCS.89.8},
  doi          = {10.4204/EPTCS.89.8},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1208-2751.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1208-2752,
  author       = {Matias David Lee and
                  Daniel Gebler and
                  Pedro R. D'Argenio},
  editor       = {Bas Luttik and
                  Michel A. Reniers},
  title        = {Tree rules in probabilistic transition system specifications with
                  negative and quantitative premises},
  booktitle    = {Proceedings Combined 19th International Workshop on Expressiveness
                  in Concurrency and 9th Workshop on Structured Operational Semantics,
                  {EXPRESS/SOS} 2012, Newcastle upon Tyne, UK, September 3, 2012},
  series       = {{EPTCS}},
  volume       = {89},
  pages        = {115--130},
  year         = {2012},
  url          = {https://doi.org/10.4204/EPTCS.89.9},
  doi          = {10.4204/EPTCS.89.9},
  timestamp    = {Mon, 16 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1208-2752.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1208-2753,
  author       = {Stephan Mennicke},
  editor       = {Bas Luttik and
                  Michel A. Reniers},
  title        = {An Operational Petri Net Semantics for the Join-Calculus},
  booktitle    = {Proceedings Combined 19th International Workshop on Expressiveness
                  in Concurrency and 9th Workshop on Structured Operational Semantics,
                  {EXPRESS/SOS} 2012, Newcastle upon Tyne, UK, September 3, 2012},
  series       = {{EPTCS}},
  volume       = {89},
  pages        = {131--147},
  year         = {2012},
  url          = {https://doi.org/10.4204/EPTCS.89.10},
  doi          = {10.4204/EPTCS.89.10},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1208-2753.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1208-2754,
  author       = {Maxim Strygin and
                  Hayo Thielecke},
  editor       = {Bas Luttik and
                  Michel A. Reniers},
  title        = {Operational semantics for signal handling},
  booktitle    = {Proceedings Combined 19th International Workshop on Expressiveness
                  in Concurrency and 9th Workshop on Structured Operational Semantics,
                  {EXPRESS/SOS} 2012, Newcastle upon Tyne, UK, September 3, 2012},
  series       = {{EPTCS}},
  volume       = {89},
  pages        = {149--163},
  year         = {2012},
  url          = {https://doi.org/10.4204/EPTCS.89.11},
  doi          = {10.4204/EPTCS.89.11},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1208-2754.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1208-5915,
  author       = {G{\'{e}}rard Boudol and
                  Gustavo Petri and
                  Bernard P. Serpette},
  editor       = {Bas Luttik and
                  Michel A. Reniers},
  title        = {Relaxed Operational Semantics of Concurrent Programming Languages},
  booktitle    = {Proceedings Combined 19th International Workshop on Expressiveness
                  in Concurrency and 9th Workshop on Structured Operational Semantics,
                  {EXPRESS/SOS} 2012, Newcastle upon Tyne, UK, September 3, 2012},
  series       = {{EPTCS}},
  volume       = {89},
  pages        = {19--33},
  year         = {2012},
  url          = {https://doi.org/10.4204/EPTCS.89.3},
  doi          = {10.4204/EPTCS.89.3},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1208-5915.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:journals/corr/abs-1208-2440,
  editor       = {Bas Luttik and
                  Michel A. Reniers},
  title        = {Proceedings Combined 19th International Workshop on Expressiveness
                  in Concurrency and 9th Workshop on Structured Operational Semantics,
                  {EXPRESS/SOS} 2012, Newcastle upon Tyne, UK, September 3, 2012},
  series       = {{EPTCS}},
  volume       = {89},
  year         = {2012},
  url          = {https://doi.org/10.4204/EPTCS.89},
  doi          = {10.4204/EPTCS.89},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1208-2440.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.