Search dblp for Publications

export results for "toc:db/conf/litp/litp1990.bht:"

 download as .bib file

@inproceedings{DBLP:conf/litp/AstesianoGR90,
  author       = {Egidio Astesiano and
                  Alessandro Giovini and
                  Gianna Reggio},
  editor       = {Ir{\`{e}}ne Guessarian},
  title        = {Processes as Data Types: Observational Semantics and Logic},
  booktitle    = {Semantics of Systems of Concurrent Processes, {LITP} Spring School
                  on Theoretical Computer Science, La Roche Posay, France, April 23-27,
                  1990, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {469},
  pages        = {1--20},
  publisher    = {Springer},
  year         = {1990},
  url          = {https://doi.org/10.1007/3-540-53479-2\_1},
  doi          = {10.1007/3-540-53479-2\_1},
  timestamp    = {Tue, 14 May 2019 10:00:51 +0200},
  biburl       = {https://dblp.org/rec/conf/litp/AstesianoGR90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/litp/BakkerW90,
  author       = {J. W. de Bakker and
                  J. H. A. Warmerdam},
  editor       = {Ir{\`{e}}ne Guessarian},
  title        = {Metric Pomset Semantics for a Concurrnt Language with Recursion},
  booktitle    = {Semantics of Systems of Concurrent Processes, {LITP} Spring School
                  on Theoretical Computer Science, La Roche Posay, France, April 23-27,
                  1990, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {469},
  pages        = {21--49},
  publisher    = {Springer},
  year         = {1990},
  url          = {https://doi.org/10.1007/3-540-53479-2\_2},
  doi          = {10.1007/3-540-53479-2\_2},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/litp/BakkerW90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/litp/Beauquier90,
  author       = {Joffroy Beauquier},
  editor       = {Ir{\`{e}}ne Guessarian},
  title        = {Fault-Tolerant Naming and Mutual Exclusion},
  booktitle    = {Semantics of Systems of Concurrent Processes, {LITP} Spring School
                  on Theoretical Computer Science, La Roche Posay, France, April 23-27,
                  1990, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {469},
  pages        = {50--61},
  publisher    = {Springer},
  year         = {1990},
  url          = {https://doi.org/10.1007/3-540-53479-2\_3},
  doi          = {10.1007/3-540-53479-2\_3},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/litp/Beauquier90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/litp/Boudol90,
  author       = {G{\'{e}}rard Boudol},
  editor       = {Ir{\`{e}}ne Guessarian},
  title        = {Flow Event Structures and Flow Nets},
  booktitle    = {Semantics of Systems of Concurrent Processes, {LITP} Spring School
                  on Theoretical Computer Science, La Roche Posay, France, April 23-27,
                  1990, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {469},
  pages        = {62--95},
  publisher    = {Springer},
  year         = {1990},
  url          = {https://doi.org/10.1007/3-540-53479-2\_4},
  doi          = {10.1007/3-540-53479-2\_4},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/litp/Boudol90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/litp/BoudolC90,
  author       = {G{\'{e}}rard Boudol and
                  Ilaria Castellani},
  editor       = {Ir{\`{e}}ne Guessarian},
  title        = {Three Equivalent Semantics for {CCS}},
  booktitle    = {Semantics of Systems of Concurrent Processes, {LITP} Spring School
                  on Theoretical Computer Science, La Roche Posay, France, April 23-27,
                  1990, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {469},
  pages        = {96--141},
  publisher    = {Springer},
  year         = {1990},
  url          = {https://doi.org/10.1007/3-540-53479-2\_5},
  doi          = {10.1007/3-540-53479-2\_5},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/litp/BoudolC90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/litp/BougeG90,
  author       = {Luc Boug{\'{e}} and
                  Patrick Garda},
  editor       = {Ir{\`{e}}ne Guessarian},
  title        = {Towards a Semantic Approach to {SIMD} Architectures and their Languages},
  booktitle    = {Semantics of Systems of Concurrent Processes, {LITP} Spring School
                  on Theoretical Computer Science, La Roche Posay, France, April 23-27,
                  1990, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {469},
  pages        = {142--175},
  publisher    = {Springer},
  year         = {1990},
  url          = {https://doi.org/10.1007/3-540-53479-2\_6},
  doi          = {10.1007/3-540-53479-2\_6},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/litp/BougeG90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/litp/Charron-Bost90,
  author       = {Bernadette Charron{-}Bost},
  editor       = {Ir{\`{e}}ne Guessarian},
  title        = {Concerning the Size of Clocks},
  booktitle    = {Semantics of Systems of Concurrent Processes, {LITP} Spring School
                  on Theoretical Computer Science, La Roche Posay, France, April 23-27,
                  1990, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {469},
  pages        = {176--184},
  publisher    = {Springer},
  year         = {1990},
  url          = {https://doi.org/10.1007/3-540-53479-2\_7},
  doi          = {10.1007/3-540-53479-2\_7},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/litp/Charron-Bost90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/litp/CorradiniFM90,
  author       = {Andrea Corradini and
                  Gian{-}Luigi Ferrari and
                  Ugo Montanari},
  editor       = {Ir{\`{e}}ne Guessarian},
  title        = {Transition Systems with Algebraic Structure as Models of Computations},
  booktitle    = {Semantics of Systems of Concurrent Processes, {LITP} Spring School
                  on Theoretical Computer Science, La Roche Posay, France, April 23-27,
                  1990, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {469},
  pages        = {185--222},
  publisher    = {Springer},
  year         = {1990},
  url          = {https://doi.org/10.1007/3-540-53479-2\_8},
  doi          = {10.1007/3-540-53479-2\_8},
  timestamp    = {Fri, 23 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/litp/CorradiniFM90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/litp/Darondeau90,
  author       = {Philippe Darondeau},
  editor       = {Ir{\`{e}}ne Guessarian},
  title        = {Concurrency and Computability},
  booktitle    = {Semantics of Systems of Concurrent Processes, {LITP} Spring School
                  on Theoretical Computer Science, La Roche Posay, France, April 23-27,
                  1990, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {469},
  pages        = {223--238},
  publisher    = {Springer},
  year         = {1990},
  url          = {https://doi.org/10.1007/3-540-53479-2\_9},
  doi          = {10.1007/3-540-53479-2\_9},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/litp/Darondeau90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/litp/DarondeauD90,
  author       = {Philippe Darondeau and
                  Pierpaolo Degano},
  editor       = {Ir{\`{e}}ne Guessarian},
  title        = {Causal Trees: Interleaving + Causality},
  booktitle    = {Semantics of Systems of Concurrent Processes, {LITP} Spring School
                  on Theoretical Computer Science, La Roche Posay, France, April 23-27,
                  1990, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {469},
  pages        = {239--255},
  publisher    = {Springer},
  year         = {1990},
  url          = {https://doi.org/10.1007/3-540-53479-2\_10},
  doi          = {10.1007/3-540-53479-2\_10},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/litp/DarondeauD90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/litp/DuchampK90,
  author       = {G{\'{e}}rard Duchamp and
                  Daniel Krob},
  editor       = {Ir{\`{e}}ne Guessarian},
  title        = {Partially Commutative Formal Power Series},
  booktitle    = {Semantics of Systems of Concurrent Processes, {LITP} Spring School
                  on Theoretical Computer Science, La Roche Posay, France, April 23-27,
                  1990, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {469},
  pages        = {256--276},
  publisher    = {Springer},
  year         = {1990},
  url          = {https://doi.org/10.1007/3-540-53479-2\_11},
  doi          = {10.1007/3-540-53479-2\_11},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/litp/DuchampK90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/litp/Gastin90,
  author       = {Paul Gastin},
  editor       = {Ir{\`{e}}ne Guessarian},
  title        = {Infinite Traces},
  booktitle    = {Semantics of Systems of Concurrent Processes, {LITP} Spring School
                  on Theoretical Computer Science, La Roche Posay, France, April 23-27,
                  1990, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {469},
  pages        = {277--308},
  publisher    = {Springer},
  year         = {1990},
  url          = {https://doi.org/10.1007/3-540-53479-2\_12},
  doi          = {10.1007/3-540-53479-2\_12},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/litp/Gastin90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/litp/GlabbeeckG90,
  author       = {Rob J. van Glabbeek and
                  Ursula Goltz},
  editor       = {Ir{\`{e}}ne Guessarian},
  title        = {Equivalences and Refinement},
  booktitle    = {Semantics of Systems of Concurrent Processes, {LITP} Spring School
                  on Theoretical Computer Science, La Roche Posay, France, April 23-27,
                  1990, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {469},
  pages        = {309--333},
  publisher    = {Springer},
  year         = {1990},
  url          = {https://doi.org/10.1007/3-540-53479-2\_13},
  doi          = {10.1007/3-540-53479-2\_13},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/litp/GlabbeeckG90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/litp/Goltz90,
  author       = {Ursula Goltz},
  editor       = {Ir{\`{e}}ne Guessarian},
  title        = {{CCS} and Petri Nets},
  booktitle    = {Semantics of Systems of Concurrent Processes, {LITP} Spring School
                  on Theoretical Computer Science, La Roche Posay, France, April 23-27,
                  1990, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {469},
  pages        = {334--357},
  publisher    = {Springer},
  year         = {1990},
  url          = {https://doi.org/10.1007/3-540-53479-2\_14},
  doi          = {10.1007/3-540-53479-2\_14},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/litp/Goltz90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/litp/Guessarian90,
  author       = {Ir{\`{e}}ne Guessarian},
  editor       = {Ir{\`{e}}ne Guessarian},
  title        = {About Fixpoints for Concurrency},
  booktitle    = {Semantics of Systems of Concurrent Processes, {LITP} Spring School
                  on Theoretical Computer Science, La Roche Posay, France, April 23-27,
                  1990, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {469},
  pages        = {358--374},
  publisher    = {Springer},
  year         = {1990},
  url          = {https://doi.org/10.1007/3-540-53479-2\_15},
  doi          = {10.1007/3-540-53479-2\_15},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/litp/Guessarian90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/litp/KasangianLP90,
  author       = {Stefano Kasangian and
                  Anna Labella and
                  Alberto Pettorossi},
  editor       = {Ir{\`{e}}ne Guessarian},
  title        = {Observers, Experiments and Agents: a Comprehensive Approach to Parallelism},
  booktitle    = {Semantics of Systems of Concurrent Processes, {LITP} Spring School
                  on Theoretical Computer Science, La Roche Posay, France, April 23-27,
                  1990, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {469},
  pages        = {375--406},
  publisher    = {Springer},
  year         = {1990},
  url          = {https://doi.org/10.1007/3-540-53479-2\_16},
  doi          = {10.1007/3-540-53479-2\_16},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/litp/KasangianLP90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/litp/NicolaV90,
  author       = {Rocco De Nicola and
                  Frits W. Vaandrager},
  editor       = {Ir{\`{e}}ne Guessarian},
  title        = {Action versus State based Logics for Transition Systems},
  booktitle    = {Semantics of Systems of Concurrent Processes, {LITP} Spring School
                  on Theoretical Computer Science, La Roche Posay, France, April 23-27,
                  1990, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {469},
  pages        = {407--419},
  publisher    = {Springer},
  year         = {1990},
  url          = {https://doi.org/10.1007/3-540-53479-2\_17},
  doi          = {10.1007/3-540-53479-2\_17},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/litp/NicolaV90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/litp/Priese90,
  author       = {Lutz Priese},
  editor       = {Ir{\`{e}}ne Guessarian},
  title        = {Approaching Fair Computations by Ultra Metrics},
  booktitle    = {Semantics of Systems of Concurrent Processes, {LITP} Spring School
                  on Theoretical Computer Science, La Roche Posay, France, April 23-27,
                  1990, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {469},
  pages        = {420--433},
  publisher    = {Springer},
  year         = {1990},
  url          = {https://doi.org/10.1007/3-540-53479-2\_18},
  doi          = {10.1007/3-540-53479-2\_18},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/litp/Priese90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/litp/Rozoy90,
  author       = {Brigitte Rozoy},
  editor       = {Ir{\`{e}}ne Guessarian},
  title        = {On Distributed Languages and Models for Distributed Computation},
  booktitle    = {Semantics of Systems of Concurrent Processes, {LITP} Spring School
                  on Theoretical Computer Science, La Roche Posay, France, April 23-27,
                  1990, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {469},
  pages        = {434--456},
  publisher    = {Springer},
  year         = {1990},
  url          = {https://doi.org/10.1007/3-540-53479-2\_19},
  doi          = {10.1007/3-540-53479-2\_19},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/litp/Rozoy90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/litp/1990,
  editor       = {Ir{\`{e}}ne Guessarian},
  title        = {Semantics of Systems of Concurrent Processes, {LITP} Spring School
                  on Theoretical Computer Science, La Roche Posay, France, April 23-27,
                  1990, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {469},
  publisher    = {Springer},
  year         = {1990},
  url          = {https://doi.org/10.1007/3-540-53479-2},
  doi          = {10.1007/3-540-53479-2},
  isbn         = {3-540-53479-2},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/litp/1990.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.