Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/fossacs/fossacs2003.bht:"
download as .bib file
@inproceedings{DBLP:conf/fossacs/AbbottAG03,
author = {Michael Gordon Abbott and
Thorsten Altenkirch and
Neil Ghani},
editor = {Andrew D. Gordon},
title = {Categories of Containers},
booktitle = {Foundations of Software Science and Computational Structures, 6th
International Conference, {FOSSACS} 2003 Held as Part of the Joint
European Conference on Theory and Practice of Software, {ETAPS} 2003,
Warsaw, Poland, April 7-11, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2620},
pages = {23--38},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-36576-1\_2},
doi = {10.1007/3-540-36576-1\_2},
timestamp = {Mon, 14 Feb 2022 09:20:26 +0100},
biburl = {https://dblp.org/rec/conf/fossacs/AbbottAG03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/AbdullaR03,
author = {Parosh Aziz Abdulla and
Alexander Moshe Rabinovich},
editor = {Andrew D. Gordon},
title = {Verification of Probabilistic Systems with Faulty Communication},
booktitle = {Foundations of Software Science and Computational Structures, 6th
International Conference, {FOSSACS} 2003 Held as Part of the Joint
European Conference on Theory and Practice of Software, {ETAPS} 2003,
Warsaw, Poland, April 7-11, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2620},
pages = {39--53},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-36576-1\_3},
doi = {10.1007/3-540-36576-1\_3},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/AbdullaR03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/AbelMU03,
author = {Andreas Abel and
Ralph Matthes and
Tarmo Uustalu},
editor = {Andrew D. Gordon},
title = {Generalized Iteration and Coiteration for Higher-Order Nested Datatypes},
booktitle = {Foundations of Software Science and Computational Structures, 6th
International Conference, {FOSSACS} 2003 Held as Part of the Joint
European Conference on Theory and Practice of Software, {ETAPS} 2003,
Warsaw, Poland, April 7-11, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2620},
pages = {54--69},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-36576-1\_4},
doi = {10.1007/3-540-36576-1\_4},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/AbelMU03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/AbramskyJ03,
author = {Samson Abramsky and
Radha Jagadeesan},
editor = {Andrew D. Gordon},
title = {A Game Semantics for Generic Polymorphism},
booktitle = {Foundations of Software Science and Computational Structures, 6th
International Conference, {FOSSACS} 2003 Held as Part of the Joint
European Conference on Theory and Practice of Software, {ETAPS} 2003,
Warsaw, Poland, April 7-11, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2620},
pages = {1--22},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-36576-1\_1},
doi = {10.1007/3-540-36576-1\_1},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fossacs/AbramskyJ03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/ArnoldS03,
author = {Andr{\'{e}} Arnold and
Luigi Santocanale},
editor = {Andrew D. Gordon},
title = {Ambiguous Classes in the Games {\(\mathrm{\mu}\)}-Calculus Hierarchy},
booktitle = {Foundations of Software Science and Computational Structures, 6th
International Conference, {FOSSACS} 2003 Held as Part of the Joint
European Conference on Theory and Practice of Software, {ETAPS} 2003,
Warsaw, Poland, April 7-11, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2620},
pages = {70--86},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-36576-1\_5},
doi = {10.1007/3-540-36576-1\_5},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/ArnoldS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/AronsPZ03,
author = {Tamarah Arons and
Amir Pnueli and
Lenore D. Zuck},
editor = {Andrew D. Gordon},
title = {Parameterized Verification by Probabilistic Abstraction},
booktitle = {Foundations of Software Science and Computational Structures, 6th
International Conference, {FOSSACS} 2003 Held as Part of the Joint
European Conference on Theory and Practice of Software, {ETAPS} 2003,
Warsaw, Poland, April 7-11, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2620},
pages = {87--102},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-36576-1\_6},
doi = {10.1007/3-540-36576-1\_6},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/AronsPZ03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/BergerHY03,
author = {Martin Berger and
Kohei Honda and
Nobuko Yoshida},
editor = {Andrew D. Gordon},
title = {Genericity and the pi-Calculus},
booktitle = {Foundations of Software Science and Computational Structures, 6th
International Conference, {FOSSACS} 2003 Held as Part of the Joint
European Conference on Theory and Practice of Software, {ETAPS} 2003,
Warsaw, Poland, April 7-11, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2620},
pages = {103--119},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-36576-1\_7},
doi = {10.1007/3-540-36576-1\_7},
timestamp = {Sun, 15 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fossacs/BergerHY03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/BertrandS03,
author = {Nathalie Bertrand and
Philippe Schnoebelen},
editor = {Andrew D. Gordon},
title = {Model Checking Lossy Channels Systems Is Probably Decidable},
booktitle = {Foundations of Software Science and Computational Structures, 6th
International Conference, {FOSSACS} 2003 Held as Part of the Joint
European Conference on Theory and Practice of Software, {ETAPS} 2003,
Warsaw, Poland, April 7-11, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2620},
pages = {120--135},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-36576-1\_8},
doi = {10.1007/3-540-36576-1\_8},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/BertrandS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/BlanchetP03,
author = {Bruno Blanchet and
Andreas Podelski},
editor = {Andrew D. Gordon},
title = {Verification of Cryptographic Protocols: Tagging Enforces Termination},
booktitle = {Foundations of Software Science and Computational Structures, 6th
International Conference, {FOSSACS} 2003 Held as Part of the Joint
European Conference on Theory and Practice of Software, {ETAPS} 2003,
Warsaw, Poland, April 7-11, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2620},
pages = {136--152},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-36576-1\_9},
doi = {10.1007/3-540-36576-1\_9},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/BlanchetP03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/Bonelli03,
author = {Eduardo Bonelli},
editor = {Andrew D. Gordon},
title = {A Normalisation Result for Higher-Order Calculi with Explicit Substitutions},
booktitle = {Foundations of Software Science and Computational Structures, 6th
International Conference, {FOSSACS} 2003 Held as Part of the Joint
European Conference on Theory and Practice of Software, {ETAPS} 2003,
Warsaw, Poland, April 7-11, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2620},
pages = {153--168},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-36576-1\_10},
doi = {10.1007/3-540-36576-1\_10},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/Bonelli03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/BonevaT03,
author = {Iovka Boneva and
Jean{-}Marc Talbot},
editor = {Andrew D. Gordon},
title = {When Ambients Cannot Be Opened},
booktitle = {Foundations of Software Science and Computational Structures, 6th
International Conference, {FOSSACS} 2003 Held as Part of the Joint
European Conference on Theory and Practice of Software, {ETAPS} 2003,
Warsaw, Poland, April 7-11, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2620},
pages = {169--184},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-36576-1\_11},
doi = {10.1007/3-540-36576-1\_11},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/BonevaT03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/BournezCNM03,
author = {Olivier Bournez and
Felipe Cucker and
Paulin Jacob{\'{e}} de Naurois and
Jean{-}Yves Marion},
editor = {Andrew D. Gordon},
title = {Computability over an Arbitrary Structure. Sequential and Parallel
Polynomial Time},
booktitle = {Foundations of Software Science and Computational Structures, 6th
International Conference, {FOSSACS} 2003 Held as Part of the Joint
European Conference on Theory and Practice of Software, {ETAPS} 2003,
Warsaw, Poland, April 7-11, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2620},
pages = {185--199},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-36576-1\_12},
doi = {10.1007/3-540-36576-1\_12},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/BournezCNM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/BreugelMOW03,
author = {Franck van Breugel and
Michael W. Mislove and
Jo{\"{e}}l Ouaknine and
James Worrell},
editor = {Andrew D. Gordon},
title = {An Intrinsic Characterization of Approximate Probabilistic Bisimilarity},
booktitle = {Foundations of Software Science and Computational Structures, 6th
International Conference, {FOSSACS} 2003 Held as Part of the Joint
European Conference on Theory and Practice of Software, {ETAPS} 2003,
Warsaw, Poland, April 7-11, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2620},
pages = {200--215},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-36576-1\_13},
doi = {10.1007/3-540-36576-1\_13},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fossacs/BreugelMOW03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/CardelliGG03,
author = {Luca Cardelli and
Philippa Gardner and
Giorgio Ghelli},
editor = {Andrew D. Gordon},
title = {Manipulating Trees with Hidden Labels},
booktitle = {Foundations of Software Science and Computational Structures, 6th
International Conference, {FOSSACS} 2003 Held as Part of the Joint
European Conference on Theory and Practice of Software, {ETAPS} 2003,
Warsaw, Poland, April 7-11, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2620},
pages = {216--232},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-36576-1\_14},
doi = {10.1007/3-540-36576-1\_14},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/CardelliGG03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/Doberkat03,
author = {Ernst{-}Erich Doberkat},
editor = {Andrew D. Gordon},
title = {The Converse of a Stochastic Relation},
booktitle = {Foundations of Software Science and Computational Structures, 6th
International Conference, {FOSSACS} 2003 Held as Part of the Joint
European Conference on Theory and Practice of Software, {ETAPS} 2003,
Warsaw, Poland, April 7-11, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2620},
pages = {233--249},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-36576-1\_15},
doi = {10.1007/3-540-36576-1\_15},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/Doberkat03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/DunfieldP03,
author = {Jana Dunfield and
Frank Pfenning},
editor = {Andrew D. Gordon},
title = {Type Assignment for Intersections and Unions in Call-by-Value Languages},
booktitle = {Foundations of Software Science and Computational Structures, 6th
International Conference, {FOSSACS} 2003 Held as Part of the Joint
European Conference on Theory and Practice of Software, {ETAPS} 2003,
Warsaw, Poland, April 7-11, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2620},
pages = {250--266},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-36576-1\_16},
doi = {10.1007/3-540-36576-1\_16},
timestamp = {Fri, 11 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fossacs/DunfieldP03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/FokkinkP03,
author = {Wan J. Fokkink and
Jun Pang},
editor = {Andrew D. Gordon},
title = {Cones and Foci for Protocol Verification Revisited},
booktitle = {Foundations of Software Science and Computational Structures, 6th
International Conference, {FOSSACS} 2003 Held as Part of the Joint
European Conference on Theory and Practice of Software, {ETAPS} 2003,
Warsaw, Poland, April 7-11, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2620},
pages = {267--281},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-36576-1\_17},
doi = {10.1007/3-540-36576-1\_17},
timestamp = {Mon, 18 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/FokkinkP03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/HennessyMR03,
author = {Matthew Hennessy and
Massimo Merro and
Julian Rathke},
editor = {Andrew D. Gordon},
title = {Towards a Behavioural Theory of Access and Mobility Control in Distributed
Systems},
booktitle = {Foundations of Software Science and Computational Structures, 6th
International Conference, {FOSSACS} 2003 Held as Part of the Joint
European Conference on Theory and Practice of Software, {ETAPS} 2003,
Warsaw, Poland, April 7-11, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2620},
pages = {282--298},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-36576-1\_18},
doi = {10.1007/3-540-36576-1\_18},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/HennessyMR03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/Kieronski03,
author = {Emanuel Kieronski},
editor = {Andrew D. Gordon},
title = {The Two-Variable Guarded Fragment with Transitive Guards Is 2EXPTIME-Hard},
booktitle = {Foundations of Software Science and Computational Structures, 6th
International Conference, {FOSSACS} 2003 Held as Part of the Joint
European Conference on Theory and Practice of Software, {ETAPS} 2003,
Warsaw, Poland, April 7-11, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2620},
pages = {299--312},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-36576-1\_19},
doi = {10.1007/3-540-36576-1\_19},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/Kieronski03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/Laird03,
author = {James Laird},
editor = {Andrew D. Gordon},
title = {A Game Semantics of Linearly Used Continuations},
booktitle = {Foundations of Software Science and Computational Structures, 6th
International Conference, {FOSSACS} 2003 Held as Part of the Joint
European Conference on Theory and Practice of Software, {ETAPS} 2003,
Warsaw, Poland, April 7-11, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2620},
pages = {313--327},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-36576-1\_20},
doi = {10.1007/3-540-36576-1\_20},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/Laird03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/Lugiez03,
author = {Denis Lugiez},
editor = {Andrew D. Gordon},
title = {Counting and Equality Constraints for Multitree Automata},
booktitle = {Foundations of Software Science and Computational Structures, 6th
International Conference, {FOSSACS} 2003 Held as Part of the Joint
European Conference on Theory and Practice of Software, {ETAPS} 2003,
Warsaw, Poland, April 7-11, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2620},
pages = {328--342},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-36576-1\_21},
doi = {10.1007/3-540-36576-1\_21},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/Lugiez03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/Maier03,
author = {Patrick Maier},
editor = {Andrew D. Gordon},
title = {Compositional Circular Assume-Guarantee Rules Cannot Be Sound and
Complete},
booktitle = {Foundations of Software Science and Computational Structures, 6th
International Conference, {FOSSACS} 2003 Held as Part of the Joint
European Conference on Theory and Practice of Software, {ETAPS} 2003,
Warsaw, Poland, April 7-11, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2620},
pages = {343--357},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-36576-1\_22},
doi = {10.1007/3-540-36576-1\_22},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/Maier03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/MoggiF03,
author = {Eugenio Moggi and
Sonia Fagorzi},
editor = {Andrew D. Gordon},
title = {A Monadic Multi-stage Metalanguage},
booktitle = {Foundations of Software Science and Computational Structures, 6th
International Conference, {FOSSACS} 2003 Held as Part of the Joint
European Conference on Theory and Practice of Software, {ETAPS} 2003,
Warsaw, Poland, April 7-11, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2620},
pages = {358--374},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-36576-1\_23},
doi = {10.1007/3-540-36576-1\_23},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/MoggiF03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/MomiglianoA03,
author = {Alberto Momigliano and
Simon Ambler},
editor = {Andrew D. Gordon},
title = {Multi-level Meta-reasoning with Higher-Order Abstract Syntax},
booktitle = {Foundations of Software Science and Computational Structures, 6th
International Conference, {FOSSACS} 2003 Held as Part of the Joint
European Conference on Theory and Practice of Software, {ETAPS} 2003,
Warsaw, Poland, April 7-11, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2620},
pages = {375--391},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-36576-1\_24},
doi = {10.1007/3-540-36576-1\_24},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/MomiglianoA03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/PowerT03,
author = {John Power and
Konstantinos Tourlas},
editor = {Andrew D. Gordon},
title = {Abstraction in Reasoning about Higraph-Based Systems},
booktitle = {Foundations of Software Science and Computational Structures, 6th
International Conference, {FOSSACS} 2003 Held as Part of the Joint
European Conference on Theory and Practice of Software, {ETAPS} 2003,
Warsaw, Poland, April 7-11, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2620},
pages = {392--408},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-36576-1\_25},
doi = {10.1007/3-540-36576-1\_25},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/PowerT03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/SassoneS03,
author = {Vladimiro Sassone and
Pawel Sobocinski},
editor = {Andrew D. Gordon},
title = {Deriving Bisimulation Congruences: 2-Categories Vs Precategories},
booktitle = {Foundations of Software Science and Computational Structures, 6th
International Conference, {FOSSACS} 2003 Held as Part of the Joint
European Conference on Theory and Practice of Software, {ETAPS} 2003,
Warsaw, Poland, April 7-11, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2620},
pages = {409--424},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-36576-1\_26},
doi = {10.1007/3-540-36576-1\_26},
timestamp = {Tue, 21 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/SassoneS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/SprengerD03,
author = {Christoph Sprenger and
Mads Dam},
editor = {Andrew D. Gordon},
title = {On the Structure of Inductive Reasoning: Circular and Tree-Shaped
Proofs in the {\(\mathrm{\mu}\)}-Calculus},
booktitle = {Foundations of Software Science and Computational Structures, 6th
International Conference, {FOSSACS} 2003 Held as Part of the Joint
European Conference on Theory and Practice of Software, {ETAPS} 2003,
Warsaw, Poland, April 7-11, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2620},
pages = {425--440},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-36576-1\_27},
doi = {10.1007/3-540-36576-1\_27},
timestamp = {Sun, 31 Dec 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fossacs/SprengerD03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fossacs/2003,
editor = {Andrew D. Gordon},
title = {Foundations of Software Science and Computational Structures, 6th
International Conference, {FOSSACS} 2003 Held as Part of the Joint
European Conference on Theory and Practice of Software, {ETAPS} 2003,
Warsaw, Poland, April 7-11, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2620},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-36576-1},
doi = {10.1007/3-540-36576-1},
isbn = {3-540-00897-7},
timestamp = {Mon, 14 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fossacs/2003.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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-04-25 02:29 CEST 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:
