default search action
Search dblp for Publications
export results for "toc:db/journals/tcs/entcs29.bht:"
@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, 26 Sep 2024 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} }
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.