Search dblp for Publications

export results for "toc:db/journals/tcs/entcs29.bht:"

 download as .bib file

@inproceedings{DBLP:journals/tcs/BednarczykB99,
  author       = {Marek A. Bednarczyk and
                  Andrzej M. Borzyszkowski},
  editor       = {Martin Hofmann and
                  Giuseppe Rosolini and
                  Dusko Pavlovic},
  title        = {Concurrent Realizations of Reactive Systems},
  booktitle    = {Conference on Category Theory and Computer Science, {CTCS} 1999, Edinburgh,
                  UK, December 10-12, 1999},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {29},
  pages        = {2--20},
  publisher    = {Elsevier},
  year         = {1999},
  url          = {https://doi.org/10.1016/S1571-0661(05)80301-9},
  doi          = {10.1016/S1571-0661(05)80301-9},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/BednarczykB99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/tcs/BruniMMS99,
  author       = {Roberto Bruni and
                  Jos{\'{e}} Meseguer and
                  Ugo Montanari and
                  Vladimiro Sassone},
  editor       = {Martin Hofmann and
                  Giuseppe Rosolini and
                  Dusko Pavlovic},
  title        = {Functorial semantics for Petri nets under the individual token philosophy},
  booktitle    = {Conference on Category Theory and Computer Science, {CTCS} 1999, Edinburgh,
                  UK, December 10-12, 1999},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {29},
  pages        = {21},
  publisher    = {Elsevier},
  year         = {1999},
  url          = {https://doi.org/10.1016/S1571-0661(05)80302-0},
  doi          = {10.1016/S1571-0661(05)80302-0},
  timestamp    = {Thu, 21 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/BruniMMS99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/tcs/BucaloFS99,
  author       = {Anna Bucalo and
                  Carsten F{\"{u}}hrmann and
                  Alex K. Simpson},
  editor       = {Martin Hofmann and
                  Giuseppe Rosolini and
                  Dusko Pavlovic},
  title        = {Equational Lifting Monads},
  booktitle    = {Conference on Category Theory and Computer Science, {CTCS} 1999, Edinburgh,
                  UK, December 10-12, 1999},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {29},
  pages        = {22},
  publisher    = {Elsevier},
  year         = {1999},
  url          = {https://doi.org/10.1016/S1571-0661(05)80303-2},
  doi          = {10.1016/S1571-0661(05)80303-2},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/BucaloFS99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/tcs/DuranM99,
  author       = {Francisco Dur{\'{a}}n and
                  Jos{\'{e}} Meseguer},
  editor       = {Martin Hofmann and
                  Giuseppe Rosolini and
                  Dusko Pavlovic},
  title        = {Structured Theories and Institutions},
  booktitle    = {Conference on Category Theory and Computer Science, {CTCS} 1999, Edinburgh,
                  UK, December 10-12, 1999},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {29},
  pages        = {23--41},
  publisher    = {Elsevier},
  year         = {1999},
  url          = {https://doi.org/10.1016/S1571-0661(05)80304-4},
  doi          = {10.1016/S1571-0661(05)80304-4},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/DuranM99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/tcs/Eppendahl99,
  author       = {Adam Eppendahl},
  editor       = {Martin Hofmann and
                  Giuseppe Rosolini and
                  Dusko Pavlovic},
  title        = {Coalgebra-to-Algebra Morphisms},
  booktitle    = {Conference on Category Theory and Computer Science, {CTCS} 1999, Edinburgh,
                  UK, December 10-12, 1999},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {29},
  pages        = {42--49},
  publisher    = {Elsevier},
  year         = {1999},
  url          = {https://doi.org/10.1016/S1571-0661(05)80305-6},
  doi          = {10.1016/S1571-0661(05)80305-6},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Eppendahl99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/tcs/Errington99,
  author       = {Lindsay Errington},
  editor       = {Martin Hofmann and
                  Giuseppe Rosolini and
                  Dusko Pavlovic},
  title        = {On the Semantics of Message Passing Processes},
  booktitle    = {Conference on Category Theory and Computer Science, {CTCS} 1999, Edinburgh,
                  UK, December 10-12, 1999},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {29},
  pages        = {50--77},
  publisher    = {Elsevier},
  year         = {1999},
  url          = {https://doi.org/10.1016/S1571-0661(05)80306-8},
  doi          = {10.1016/S1571-0661(05)80306-8},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Errington99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/tcs/Fiore99,
  author       = {Marcelo P. Fiore},
  editor       = {Martin Hofmann and
                  Giuseppe Rosolini and
                  Dusko Pavlovic},
  title        = {Fibred models of processes},
  booktitle    = {Conference on Category Theory and Computer Science, {CTCS} 1999, Edinburgh,
                  UK, December 10-12, 1999},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {29},
  pages        = {78},
  publisher    = {Elsevier},
  year         = {1999},
  url          = {https://doi.org/10.1016/S1571-0661(05)80307-X},
  doi          = {10.1016/S1571-0661(05)80307-X},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Fiore99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/tcs/Freyd99,
  author       = {Peter J. Freyd},
  editor       = {Martin Hofmann and
                  Giuseppe Rosolini and
                  Dusko Pavlovic},
  title        = {Path Integrals, Bayesian Vision, and Is Gaussian Quadrature Really
                  Good?},
  booktitle    = {Conference on Category Theory and Computer Science, {CTCS} 1999, Edinburgh,
                  UK, December 10-12, 1999},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {29},
  pages        = {79},
  publisher    = {Elsevier},
  year         = {1999},
  url          = {https://doi.org/10.1016/S1571-0661(05)80308-1},
  doi          = {10.1016/S1571-0661(05)80308-1},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Freyd99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/tcs/GadducciHL99,
  author       = {Fabio Gadducci and
                  Reiko Heckel and
                  Merc{\`{e}} Llabr{\'{e}}s},
  editor       = {Martin Hofmann and
                  Giuseppe Rosolini and
                  Dusko Pavlovic},
  title        = {A Bi-Categorical Axiomatisation of Concurrent Graph Rewriting},
  booktitle    = {Conference on Category Theory and Computer Science, {CTCS} 1999, Edinburgh,
                  UK, December 10-12, 1999},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {29},
  pages        = {80--100},
  publisher    = {Elsevier},
  year         = {1999},
  url          = {https://doi.org/10.1016/S1571-0661(05)80309-3},
  doi          = {10.1016/S1571-0661(05)80309-3},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/GadducciHL99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/tcs/Hasegawa99,
  author       = {Ryu Hasegawa},
  editor       = {Martin Hofmann and
                  Giuseppe Rosolini and
                  Dusko Pavlovic},
  title        = {Several Applications of Analytic Functors to Theoretical Computer
                  Science},
  booktitle    = {Conference on Category Theory and Computer Science, {CTCS} 1999, Edinburgh,
                  UK, December 10-12, 1999},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {29},
  pages        = {101},
  publisher    = {Elsevier},
  year         = {1999},
  url          = {https://doi.org/10.1016/S1571-0661(05)80310-X},
  doi          = {10.1016/S1571-0661(05)80310-X},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Hasegawa99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/tcs/Hildebrandt99,
  author       = {Thomas T. Hildebrandt},
  editor       = {Martin Hofmann and
                  Giuseppe Rosolini and
                  Dusko Pavlovic},
  title        = {A Fully abstract presheaf semantics for {SCCS} with finite delay},
  booktitle    = {Conference on Category Theory and Computer Science, {CTCS} 1999, Edinburgh,
                  UK, December 10-12, 1999},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {29},
  pages        = {102--126},
  publisher    = {Elsevier},
  year         = {1999},
  url          = {https://doi.org/10.1016/S1571-0661(05)80311-1},
  doi          = {10.1016/S1571-0661(05)80311-1},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Hildebrandt99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/tcs/HofmannRP99,
  author       = {Martin Hofmann and
                  Giuseppe Rosolini and
                  Dusko Pavlovic},
  editor       = {Martin Hofmann and
                  Giuseppe Rosolini and
                  Dusko Pavlovic},
  title        = {Preface},
  booktitle    = {Conference on Category Theory and Computer Science, {CTCS} 1999, Edinburgh,
                  UK, December 10-12, 1999},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {29},
  pages        = {1},
  publisher    = {Elsevier},
  year         = {1999},
  url          = {https://doi.org/10.1016/S1571-0661(05)80300-7},
  doi          = {10.1016/S1571-0661(05)80300-7},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/HofmannRP99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/tcs/HylandS99,
  author       = {Martin Hyland and
                  Andrea Schalk},
  editor       = {Martin Hofmann and
                  Giuseppe Rosolini and
                  Dusko Pavlovic},
  title        = {Abstract Games for Linear Logic},
  booktitle    = {Conference on Category Theory and Computer Science, {CTCS} 1999, Edinburgh,
                  UK, December 10-12, 1999},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {29},
  pages        = {127--150},
  publisher    = {Elsevier},
  year         = {1999},
  url          = {https://doi.org/10.1016/S1571-0661(05)80312-3},
  doi          = {10.1016/S1571-0661(05)80312-3},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/HylandS99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/tcs/KohO99,
  author       = {Thong wei Koh and
                  C.{-}H. Luke Ong},
  editor       = {Martin Hofmann and
                  Giuseppe Rosolini and
                  Dusko Pavlovic},
  title        = {Internal Languages for Autonomous and *-Autonomous Categories},
  booktitle    = {Conference on Category Theory and Computer Science, {CTCS} 1999, Edinburgh,
                  UK, December 10-12, 1999},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {29},
  pages        = {151},
  publisher    = {Elsevier},
  year         = {1999},
  url          = {https://doi.org/10.1016/S1571-0661(05)80313-5},
  doi          = {10.1016/S1571-0661(05)80313-5},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/KohO99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/tcs/LuoS99,
  author       = {Zhaohui Luo and
                  Sergei Soloviev},
  editor       = {Martin Hofmann and
                  Giuseppe Rosolini and
                  Dusko Pavlovic},
  title        = {Dependent Coercions},
  booktitle    = {Conference on Category Theory and Computer Science, {CTCS} 1999, Edinburgh,
                  UK, December 10-12, 1999},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {29},
  pages        = {152--168},
  publisher    = {Elsevier},
  year         = {1999},
  url          = {https://doi.org/10.1016/S1571-0661(05)80314-7},
  doi          = {10.1016/S1571-0661(05)80314-7},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/LuoS99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/tcs/MateusSS99,
  author       = {Paulo Mateus and
                  Am{\'{\i}}lcar Sernadas and
                  Cristina Sernadas},
  editor       = {Martin Hofmann and
                  Giuseppe Rosolini and
                  Dusko Pavlovic},
  title        = {Precategories for combining probabilistic automata},
  booktitle    = {Conference on Category Theory and Computer Science, {CTCS} 1999, Edinburgh,
                  UK, December 10-12, 1999},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {29},
  pages        = {169--186},
  publisher    = {Elsevier},
  year         = {1999},
  url          = {https://doi.org/10.1016/S1571-0661(05)80315-9},
  doi          = {10.1016/S1571-0661(05)80315-9},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/MateusSS99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/tcs/MoggiBJ99,
  author       = {Eugenio Moggi and
                  Gianna Bell{\`{e}} and
                  C. Barry Jay},
  editor       = {Martin Hofmann and
                  Giuseppe Rosolini and
                  Dusko Pavlovic},
  title        = {Monads, shapely functors, and traversals},
  booktitle    = {Conference on Category Theory and Computer Science, {CTCS} 1999, Edinburgh,
                  UK, December 10-12, 1999},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {29},
  pages        = {187--208},
  publisher    = {Elsevier},
  year         = {1999},
  url          = {https://doi.org/10.1016/S1571-0661(05)80316-0},
  doi          = {10.1016/S1571-0661(05)80316-0},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/MoggiBJ99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/tcs/MurawskiO99,
  author       = {Andrzej S. Murawski and
                  C.{-}H. Luke Ong},
  editor       = {Martin Hofmann and
                  Giuseppe Rosolini and
                  Dusko Pavlovic},
  title        = {Exhausting Strategies, Joker Games and {IMLL} with Units},
  booktitle    = {Conference on Category Theory and Computer Science, {CTCS} 1999, Edinburgh,
                  UK, December 10-12, 1999},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {29},
  pages        = {209--239},
  publisher    = {Elsevier},
  year         = {1999},
  url          = {https://doi.org/10.1016/S1571-0661(05)80317-2},
  doi          = {10.1016/S1571-0661(05)80317-2},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/MurawskiO99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/tcs/Paseka99,
  author       = {Jan Paseka},
  editor       = {Martin Hofmann and
                  Giuseppe Rosolini and
                  Dusko Pavlovic},
  title        = {Hilbert Q-Modules and Nuclear Ideals in the Category of v-Semilattices
                  with a Duality},
  booktitle    = {Conference on Category Theory and Computer Science, {CTCS} 1999, Edinburgh,
                  UK, December 10-12, 1999},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {29},
  pages        = {240--258},
  publisher    = {Elsevier},
  year         = {1999},
  url          = {https://doi.org/10.1016/S1571-0661(05)80318-4},
  doi          = {10.1016/S1571-0661(05)80318-4},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Paseka99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/tcs/PowerT99,
  author       = {John Power and
                  Daniele Turi},
  editor       = {Martin Hofmann and
                  Giuseppe Rosolini and
                  Dusko Pavlovic},
  title        = {A Coalgebraic Foundation for Linear Time Semantics},
  booktitle    = {Conference on Category Theory and Computer Science, {CTCS} 1999, Edinburgh,
                  UK, December 10-12, 1999},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {29},
  pages        = {259--274},
  publisher    = {Elsevier},
  year         = {1999},
  url          = {https://doi.org/10.1016/S1571-0661(05)80319-6},
  doi          = {10.1016/S1571-0661(05)80319-6},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/PowerT99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/tcs/Smith99,
  author       = {Douglas R. Smith},
  editor       = {Martin Hofmann and
                  Giuseppe Rosolini and
                  Dusko Pavlovic},
  title        = {Designware: Software Development by Refinement},
  booktitle    = {Conference on Category Theory and Computer Science, {CTCS} 1999, Edinburgh,
                  UK, December 10-12, 1999},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {29},
  pages        = {275--287},
  publisher    = {Elsevier},
  year         = {1999},
  url          = {https://doi.org/10.1016/S1571-0661(05)80320-2},
  doi          = {10.1016/S1571-0661(05)80320-2},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Smith99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/tcs/Streicher99,
  author       = {Thomas Streicher},
  editor       = {Martin Hofmann and
                  Giuseppe Rosolini and
                  Dusko Pavlovic},
  title        = {Denotational Completeness Revisited},
  booktitle    = {Conference on Category Theory and Computer Science, {CTCS} 1999, Edinburgh,
                  UK, December 10-12, 1999},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {29},
  pages        = {288--300},
  publisher    = {Elsevier},
  year         = {1999},
  url          = {https://doi.org/10.1016/S1571-0661(05)80321-4},
  doi          = {10.1016/S1571-0661(05)80321-4},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Streicher99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/tcs/Tsuiki99,
  author       = {Hideki Tsuiki},
  editor       = {Martin Hofmann and
                  Giuseppe Rosolini and
                  Dusko Pavlovic},
  title        = {A domain-theoretic semantics of lax generic functions},
  booktitle    = {Conference on Category Theory and Computer Science, {CTCS} 1999, Edinburgh,
                  UK, December 10-12, 1999},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {29},
  pages        = {301--324},
  publisher    = {Elsevier},
  year         = {1999},
  url          = {https://doi.org/10.1016/S1571-0661(05)80322-6},
  doi          = {10.1016/S1571-0661(05)80322-6},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Tsuiki99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/tcs/Wehr99,
  author       = {Martin Wehr},
  editor       = {Martin Hofmann and
                  Giuseppe Rosolini and
                  Dusko Pavlovic},
  title        = {Higher-dimensional syntax},
  booktitle    = {Conference on Category Theory and Computer Science, {CTCS} 1999, Edinburgh,
                  UK, December 10-12, 1999},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {29},
  pages        = {325--353},
  publisher    = {Elsevier},
  year         = {1999},
  url          = {https://doi.org/10.1016/S1571-0661(05)80323-8},
  doi          = {10.1016/S1571-0661(05)80323-8},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Wehr99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ctcs/1999,
  editor       = {Martin Hofmann and
                  Giuseppe Rosolini and
                  Dusko Pavlovic},
  title        = {Conference on Category Theory and Computer Science, {CTCS} 1999, Edinburgh,
                  UK, December 10-12, 1999},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {29},
  publisher    = {Elsevier},
  year         = {1999},
  url          = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/29/suppl/C},
  timestamp    = {Fri, 17 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ctcs/1999.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics