default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/calco/calco2007.bht:"
download as .bib file
@inproceedings{DBLP:conf/calco/AcetoFI07,
author = {Luca Aceto and
Wan J. Fokkink and
Anna Ing{\'{o}}lfsd{\'{o}}ttir},
editor = {Till Mossakowski and
Ugo Montanari and
Magne Haveraaen},
title = {Ready to Preorder: Get Your {BCCSP} Axiomatization for Free!},
booktitle = {Algebra and Coalgebra in Computer Science, Second International Conference,
{CALCO} 2007, Bergen, Norway, August 20-24, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4624},
pages = {65--79},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73859-6\_5},
doi = {10.1007/978-3-540-73859-6\_5},
timestamp = {Mon, 18 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/calco/AcetoFI07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/calco/AcetoIM07,
author = {Luca Aceto and
Anna Ing{\'{o}}lfsd{\'{o}}ttir and
Mohammad Reza Mousavi},
editor = {Till Mossakowski and
Ugo Montanari and
Magne Haveraaen},
title = {Impossibility Results for the Equational Theory of Timed {CCS}},
booktitle = {Algebra and Coalgebra in Computer Science, Second International Conference,
{CALCO} 2007, Bergen, Norway, August 20-24, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4624},
pages = {80--95},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73859-6\_6},
doi = {10.1007/978-3-540-73859-6\_6},
timestamp = {Sat, 11 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/calco/AcetoIM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/calco/Alexander07,
author = {Scott Alexander},
editor = {Till Mossakowski and
Ugo Montanari and
Magne Haveraaen},
title = {Conceptual Data Modeling with Constraints in Maude},
booktitle = {Algebra and Coalgebra in Computer Science, Second International Conference,
{CALCO} 2007, Bergen, Norway, August 20-24, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4624},
pages = {96--110},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73859-6\_7},
doi = {10.1007/978-3-540-73859-6\_7},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/calco/Alexander07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/calco/AspinallH07,
author = {David Aspinall and
Piotr Hoffman},
editor = {Till Mossakowski and
Ugo Montanari and
Magne Haveraaen},
title = {Datatypes in Memory},
booktitle = {Algebra and Coalgebra in Computer Science, Second International Conference,
{CALCO} 2007, Bergen, Norway, August 20-24, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4624},
pages = {111--125},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73859-6\_8},
doi = {10.1007/978-3-540-73859-6\_8},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/calco/AspinallH07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/calco/BaldanCEHK07,
author = {Paolo Baldan and
Andrea Corradini and
Hartmut Ehrig and
Reiko Heckel and
Barbara K{\"{o}}nig},
editor = {Till Mossakowski and
Ugo Montanari and
Magne Haveraaen},
title = {Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri
Nets},
booktitle = {Algebra and Coalgebra in Computer Science, Second International Conference,
{CALCO} 2007, Bergen, Norway, August 20-24, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4624},
pages = {126--142},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73859-6\_9},
doi = {10.1007/978-3-540-73859-6\_9},
timestamp = {Sat, 04 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/calco/BaldanCEHK07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/calco/BezhanishviliK07,
author = {Nick Bezhanishvili and
Alexander Kurz},
editor = {Till Mossakowski and
Ugo Montanari and
Magne Haveraaen},
title = {Free Modal Algebras: {A} Coalgebraic Perspective},
booktitle = {Algebra and Coalgebra in Computer Science, Second International Conference,
{CALCO} 2007, Bergen, Norway, August 20-24, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4624},
pages = {143--157},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73859-6\_10},
doi = {10.1007/978-3-540-73859-6\_10},
timestamp = {Mon, 01 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/calco/BezhanishviliK07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/calco/BloomE07,
author = {Stephen L. Bloom and
Zolt{\'{a}}n {\'{E}}sik},
editor = {Till Mossakowski and
Ugo Montanari and
Magne Haveraaen},
title = {Regular and Algebraic Words and Ordinals},
booktitle = {Algebra and Coalgebra in Computer Science, Second International Conference,
{CALCO} 2007, Bergen, Norway, August 20-24, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4624},
pages = {1--15},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73859-6\_1},
doi = {10.1007/978-3-540-73859-6\_1},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/calco/BloomE07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/calco/Caires07,
author = {Lu{\'{\i}}s Caires},
editor = {Till Mossakowski and
Ugo Montanari and
Magne Haveraaen},
title = {Logical Semantics of Types for Concurrency},
booktitle = {Algebra and Coalgebra in Computer Science, Second International Conference,
{CALCO} 2007, Bergen, Norway, August 20-24, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4624},
pages = {16--35},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73859-6\_2},
doi = {10.1007/978-3-540-73859-6\_2},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/calco/Caires07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/calco/CirsteaS07,
author = {Corina C{\^{\i}}rstea and
Mehrnoosh Sadrzadeh},
editor = {Till Mossakowski and
Ugo Montanari and
Magne Haveraaen},
title = {Coalgebraic Epistemic Update Without Change of Model},
booktitle = {Algebra and Coalgebra in Computer Science, Second International Conference,
{CALCO} 2007, Bergen, Norway, August 20-24, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4624},
pages = {158--172},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73859-6\_11},
doi = {10.1007/978-3-540-73859-6\_11},
timestamp = {Thu, 23 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/calco/CirsteaS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/calco/ClavelDHLMO07,
author = {Manuel Clavel and
Francisco Dur{\'{a}}n and
Joe Hendrix and
Salvador Lucas and
Jos{\'{e}} Meseguer and
Peter Csaba {\"{O}}lveczky},
editor = {Till Mossakowski and
Ugo Montanari and
Magne Haveraaen},
title = {The Maude Formal Tool Environment},
booktitle = {Algebra and Coalgebra in Computer Science, Second International Conference,
{CALCO} 2007, Bergen, Norway, August 20-24, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4624},
pages = {173--178},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73859-6\_12},
doi = {10.1007/978-3-540-73859-6\_12},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/calco/ClavelDHLMO07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/calco/DrosteZ07,
author = {Manfred Droste and
Guo{-}Qiang Zhang},
editor = {Till Mossakowski and
Ugo Montanari and
Magne Haveraaen},
title = {Bifinite Chu Spaces},
booktitle = {Algebra and Coalgebra in Computer Science, Second International Conference,
{CALCO} 2007, Bergen, Norway, August 20-24, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4624},
pages = {179--193},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73859-6\_13},
doi = {10.1007/978-3-540-73859-6\_13},
timestamp = {Fri, 15 Sep 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/calco/DrosteZ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/calco/FiadeiroS07,
author = {Jos{\'{e}} Luiz Fiadeiro and
Vincent Schmitt},
editor = {Till Mossakowski and
Ugo Montanari and
Magne Haveraaen},
title = {Structured Co-spans: An Algebra of Interaction Protocols},
booktitle = {Algebra and Coalgebra in Computer Science, Second International Conference,
{CALCO} 2007, Bergen, Norway, August 20-24, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4624},
pages = {194--208},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73859-6\_14},
doi = {10.1007/978-3-540-73859-6\_14},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/calco/FiadeiroS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/calco/GadducciL07,
author = {Fabio Gadducci and
Alberto Lluch{-}Lafuente},
editor = {Till Mossakowski and
Ugo Montanari and
Magne Haveraaen},
title = {Graphical Encoding of a Spatial Logic for the \emph{pi} -Calculus},
booktitle = {Algebra and Coalgebra in Computer Science, Second International Conference,
{CALCO} 2007, Bergen, Norway, August 20-24, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4624},
pages = {209--225},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73859-6\_15},
doi = {10.1007/978-3-540-73859-6\_15},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/calco/GadducciL07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/calco/GhaniK07,
author = {Neil Ghani and
Alexander Kurz},
editor = {Till Mossakowski and
Ugo Montanari and
Magne Haveraaen},
title = {Higher Dimensional Trees, Algebraically},
booktitle = {Algebra and Coalgebra in Computer Science, Second International Conference,
{CALCO} 2007, Bergen, Norway, August 20-24, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4624},
pages = {226--241},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73859-6\_16},
doi = {10.1007/978-3-540-73859-6\_16},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/calco/GhaniK07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/calco/GlauschR07,
author = {Andreas Glausch and
Wolfgang Reisig},
editor = {Till Mossakowski and
Ugo Montanari and
Magne Haveraaen},
title = {A Semantic Characterization of Unbounded-Nondeterministic Abstract
State Machines},
booktitle = {Algebra and Coalgebra in Computer Science, Second International Conference,
{CALCO} 2007, Bergen, Norway, August 20-24, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4624},
pages = {242--256},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73859-6\_17},
doi = {10.1007/978-3-540-73859-6\_17},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/calco/GlauschR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/calco/Glimming07,
author = {Johan Glimming},
editor = {Till Mossakowski and
Ugo Montanari and
Magne Haveraaen},
title = {Parametric (Co)Iteration vs. Primitive Direcursion},
booktitle = {Algebra and Coalgebra in Computer Science, Second International Conference,
{CALCO} 2007, Bergen, Norway, August 20-24, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4624},
pages = {257--278},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73859-6\_18},
doi = {10.1007/978-3-540-73859-6\_18},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/calco/Glimming07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/calco/HansenKP07,
author = {Helle Hvid Hansen and
Clemens Kupke and
Eric Pacuit},
editor = {Till Mossakowski and
Ugo Montanari and
Magne Haveraaen},
title = {Bisimulation for Neighbourhood Structures},
booktitle = {Algebra and Coalgebra in Computer Science, Second International Conference,
{CALCO} 2007, Bergen, Norway, August 20-24, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4624},
pages = {279--293},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73859-6\_19},
doi = {10.1007/978-3-540-73859-6\_19},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/calco/HansenKP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/calco/Harman07,
author = {Neal A. Harman},
editor = {Till Mossakowski and
Ugo Montanari and
Magne Haveraaen},
title = {Algebraic Models of Simultaneous Multithreaded and Multi-core Processors},
booktitle = {Algebra and Coalgebra in Computer Science, Second International Conference,
{CALCO} 2007, Bergen, Norway, August 20-24, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4624},
pages = {294--311},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73859-6\_20},
doi = {10.1007/978-3-540-73859-6\_20},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/calco/Harman07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/calco/JohnstoneLS07,
author = {Peter T. Johnstone and
Stephen Lack and
Pawel Sobocinski},
editor = {Till Mossakowski and
Ugo Montanari and
Magne Haveraaen},
title = {Quasitoposes, Quasiadhesive Categories and Artin Glueing},
booktitle = {Algebra and Coalgebra in Computer Science, Second International Conference,
{CALCO} 2007, Bergen, Norway, August 20-24, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4624},
pages = {312--326},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73859-6\_21},
doi = {10.1007/978-3-540-73859-6\_21},
timestamp = {Tue, 21 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/calco/JohnstoneLS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/calco/Konig07,
author = {Barbara K{\"{o}}nig},
editor = {Till Mossakowski and
Ugo Montanari and
Magne Haveraaen},
title = {Deriving Bisimulation Congruences with Borrowed Contexts},
booktitle = {Algebra and Coalgebra in Computer Science, Second International Conference,
{CALCO} 2007, Bergen, Norway, August 20-24, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4624},
pages = {36--39},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73859-6\_3},
doi = {10.1007/978-3-540-73859-6\_3},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/calco/Konig07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/calco/KozenR07,
author = {Dexter Kozen and
Nicholas Ruozzi},
editor = {Till Mossakowski and
Ugo Montanari and
Magne Haveraaen},
title = {Applications of Metric Coinduction},
booktitle = {Algebra and Coalgebra in Computer Science, Second International Conference,
{CALCO} 2007, Bergen, Norway, August 20-24, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4624},
pages = {327--341},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73859-6\_22},
doi = {10.1007/978-3-540-73859-6\_22},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/calco/KozenR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/calco/KurzR07,
author = {Alexander Kurz and
Jir{\'{\i}} Rosick{\'{y}}},
editor = {Till Mossakowski and
Ugo Montanari and
Magne Haveraaen},
title = {The Goldblatt-Thomason Theorem for Coalgebras},
booktitle = {Algebra and Coalgebra in Computer Science, Second International Conference,
{CALCO} 2007, Bergen, Norway, August 20-24, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4624},
pages = {342--355},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73859-6\_23},
doi = {10.1007/978-3-540-73859-6\_23},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/calco/KurzR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/calco/LonguetA07,
author = {Delphine Longuet and
Marc Aiguier},
editor = {Till Mossakowski and
Ugo Montanari and
Magne Haveraaen},
title = {Specification-Based Testing for CoCasl's Modal Specifications},
booktitle = {Algebra and Coalgebra in Computer Science, Second International Conference,
{CALCO} 2007, Bergen, Norway, August 20-24, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4624},
pages = {356--371},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73859-6\_24},
doi = {10.1007/978-3-540-73859-6\_24},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/calco/LonguetA07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/calco/LucanuR07,
author = {Dorel Lucanu and
Grigore Rosu},
editor = {Till Mossakowski and
Ugo Montanari and
Magne Haveraaen},
title = {{CIRC} : {A} Circular Coinductive Prover},
booktitle = {Algebra and Coalgebra in Computer Science, Second International Conference,
{CALCO} 2007, Bergen, Norway, August 20-24, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4624},
pages = {372--378},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73859-6\_25},
doi = {10.1007/978-3-540-73859-6\_25},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/calco/LucanuR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/calco/Mardare07,
author = {Radu Mardare},
editor = {Till Mossakowski and
Ugo Montanari and
Magne Haveraaen},
title = {Observing Distributed Computation. {A} Dynamic-Epistemic Approach},
booktitle = {Algebra and Coalgebra in Computer Science, Second International Conference,
{CALCO} 2007, Bergen, Norway, August 20-24, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4624},
pages = {379--393},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73859-6\_26},
doi = {10.1007/978-3-540-73859-6\_26},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/calco/Mardare07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/calco/PalmigianoV07,
author = {Alessandra Palmigiano and
Yde Venema},
editor = {Till Mossakowski and
Ugo Montanari and
Magne Haveraaen},
title = {Nabla Algebras and Chu Spaces},
booktitle = {Algebra and Coalgebra in Computer Science, Second International Conference,
{CALCO} 2007, Bergen, Norway, August 20-24, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4624},
pages = {394--408},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73859-6\_27},
doi = {10.1007/978-3-540-73859-6\_27},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/calco/PalmigianoV07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/calco/Petria07,
author = {Marius Petria},
editor = {Till Mossakowski and
Ugo Montanari and
Magne Haveraaen},
title = {An Institutional Version of G{\"{o}}del's Completeness Theorem},
booktitle = {Algebra and Coalgebra in Computer Science, Second International Conference,
{CALCO} 2007, Bergen, Norway, August 20-24, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4624},
pages = {409--424},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73859-6\_28},
doi = {10.1007/978-3-540-73859-6\_28},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/calco/Petria07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/calco/Rutten07,
author = {Jan J. M. M. Rutten},
editor = {Till Mossakowski and
Ugo Montanari and
Magne Haveraaen},
title = {Coalgebraic Foundations of Linear Systems},
booktitle = {Algebra and Coalgebra in Computer Science, Second International Conference,
{CALCO} 2007, Bergen, Norway, August 20-24, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4624},
pages = {425--446},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73859-6\_29},
doi = {10.1007/978-3-540-73859-6\_29},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/calco/Rutten07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/calco/Schroder07,
author = {Lutz Schr{\"{o}}der},
editor = {Till Mossakowski and
Ugo Montanari and
Magne Haveraaen},
title = {Bootstrapping Types and Cotypes in HasCASL},
booktitle = {Algebra and Coalgebra in Computer Science, Second International Conference,
{CALCO} 2007, Bergen, Norway, August 20-24, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4624},
pages = {447--461},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73859-6\_30},
doi = {10.1007/978-3-540-73859-6\_30},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/calco/Schroder07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/calco/Winskel07,
author = {Glynn Winskel},
editor = {Till Mossakowski and
Ugo Montanari and
Magne Haveraaen},
title = {Symmetry and Concurrency},
booktitle = {Algebra and Coalgebra in Computer Science, Second International Conference,
{CALCO} 2007, Bergen, Norway, August 20-24, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4624},
pages = {40--64},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73859-6\_4},
doi = {10.1007/978-3-540-73859-6\_4},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/calco/Winskel07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/calco/2007,
editor = {Till Mossakowski and
Ugo Montanari and
Magne Haveraaen},
title = {Algebra and Coalgebra in Computer Science, Second International Conference,
{CALCO} 2007, Bergen, Norway, August 20-24, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4624},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73859-6},
doi = {10.1007/978-3-540-73859-6},
isbn = {978-3-540-73857-2},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/calco/2007.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.
retrieved on 2024-12-01 19:59 CET from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
