Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Ignacio Fábregas
@article{DBLP:journals/corr/abs-2402-00958,
author = {Ignacio F{\'{a}}bregas and
Miguel Palomino and
David de Frutos{-}Escrig},
title = {Reflection and Preservation of Properties in Coalgebraic (bi)Simulations},
journal = {CoRR},
volume = {abs/2402.00958},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2402.00958},
doi = {10.48550/ARXIV.2402.00958},
eprinttype = {arXiv},
eprint = {2402.00958},
timestamp = {Fri, 09 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2402-00958.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2402-00962,
author = {David de Frutos{-}Escrig and
Miguel Palomino and
Ignacio F{\'{a}}bregas},
title = {Multiset Bisimulations as a Common Framework for Ordinary and Probabilistic
Bisimulations},
journal = {CoRR},
volume = {abs/2402.00962},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2402.00962},
doi = {10.48550/ARXIV.2402.00962},
eprinttype = {arXiv},
eprint = {2402.00962},
timestamp = {Fri, 09 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2402-00962.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2402-00963,
author = {Ignacio F{\'{a}}bregas and
David de Frutos{-}Escrig and
Miguel Palomino},
title = {Non-strongly Stable Orders Also Define Interesting Simulation Relations},
journal = {CoRR},
volume = {abs/2402.00963},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2402.00963},
doi = {10.48550/ARXIV.2402.00963},
eprinttype = {arXiv},
eprint = {2402.00963},
timestamp = {Fri, 09 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2402-00963.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2402-00964,
author = {Ignacio F{\'{a}}bregas and
David de Frutos{-}Escrig and
Miguel Palomino},
title = {Logics for Contravariant Simulations},
journal = {CoRR},
volume = {abs/2402.00964},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2402.00964},
doi = {10.48550/ARXIV.2402.00964},
eprinttype = {arXiv},
eprint = {2402.00964},
timestamp = {Fri, 09 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2402-00964.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2402-00966,
author = {Luca Aceto and
Ignacio F{\'{a}}bregas and
David de Frutos{-}Escrig and
Anna Ing{\'{o}}lfsd{\'{o}}ttir and
Miguel Palomino},
title = {On the specification of modal systems: {A} comparison of three frameworks},
journal = {CoRR},
volume = {abs/2402.00966},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2402.00966},
doi = {10.48550/ARXIV.2402.00966},
eprinttype = {arXiv},
eprint = {2402.00966},
timestamp = {Fri, 09 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2402-00966.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2402-00970,
author = {Luca Aceto and
Dario Della Monica and
Ignacio F{\'{a}}bregas and
Anna Ing{\'{o}}lfsd{\'{o}}ttir},
title = {When Are Prime Formulae Characteristic?},
journal = {CoRR},
volume = {abs/2402.00970},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2402.00970},
doi = {10.48550/ARXIV.2402.00970},
eprinttype = {arXiv},
eprint = {2402.00970},
timestamp = {Fri, 09 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2402-00970.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2402-00973,
author = {Luca Aceto and
Ignacio F{\'{a}}bregas and
Carlos Gregorio{-}Rodr{\'{\i}}guez and
Anna Ing{\'{o}}lfsd{\'{o}}ttir},
title = {Logical characterisations, rule formats and compositionality for input-output
conformance simulation},
journal = {CoRR},
volume = {abs/2402.00973},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2402.00973},
doi = {10.48550/ARXIV.2402.00973},
eprinttype = {arXiv},
eprint = {2402.00973},
timestamp = {Fri, 09 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2402-00973.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2402-00982,
author = {Luca Aceto and
Ignacio F{\'{a}}bregas and
{\'{A}}lvaro Garc{\'{\i}}a{-}P{\'{e}}rez and
Anna Ing{\'{o}}lfsd{\'{o}}ttir and
Yolanda Ortega{-}Mall{\'{e}}n},
title = {Rule Formats for Nominal Process Calculi},
journal = {CoRR},
volume = {abs/2402.00982},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2402.00982},
doi = {10.48550/ARXIV.2402.00982},
eprinttype = {arXiv},
eprint = {2402.00982},
timestamp = {Fri, 09 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2402-00982.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2402-02847,
author = {Luca Aceto and
Ignacio F{\'{a}}bregas and
{\'{A}}lvaro Garc{\'{\i}}a{-}P{\'{e}}rez and
Anna Ing{\'{o}}lfsd{\'{o}}ttir},
title = {A unified rule format for bounded nondeterminism in {SOS} with terms
as labels},
journal = {CoRR},
volume = {abs/2402.02847},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2402.02847},
doi = {10.48550/ARXIV.2402.02847},
eprinttype = {arXiv},
eprint = {2402.02847},
timestamp = {Mon, 12 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2402-02847.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/FarkaN0DF21,
author = {Frantisek Farka and
Aleksandar Nanevski and
Anindya Banerjee and
Germ{\'{a}}n Andr{\'{e}}s Delbianco and
Ignacio F{\'{a}}bregas},
title = {On algebraic abstractions for concurrent separation logics},
journal = {Proc. {ACM} Program. Lang.},
volume = {5},
number = {{POPL}},
pages = {1--32},
year = {2021},
url = {https://doi.org/10.1145/3434286},
doi = {10.1145/3434286},
timestamp = {Sat, 08 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/FarkaN0DF21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2010-12686,
author = {Frantisek Farka and
Aleksandar Nanevski and
Anindya Banerjee and
Germ{\'{a}}n Andr{\'{e}}s Delbianco and
Ignacio F{\'{a}}bregas},
title = {On Algebraic Abstractions for Concurrent Separation Logics},
journal = {CoRR},
volume = {abs/2010.12686},
year = {2020},
url = {https://arxiv.org/abs/2010.12686},
eprinttype = {arXiv},
eprint = {2010.12686},
timestamp = {Mon, 02 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2010-12686.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/AcetoFGI19,
author = {Luca Aceto and
Ignacio F{\'{a}}bregas and
Carlos Gregorio{-}Rodr{\'{\i}}guez and
Anna Ing{\'{o}}lfsd{\'{o}}ttir},
title = {Logical characterisations, rule formats and compositionality for input-output
conformance simulation},
journal = {J. Log. Algebraic Methods Program.},
volume = {106},
pages = {78--106},
year = {2019},
url = {https://doi.org/10.1016/j.jlamp.2019.04.005},
doi = {10.1016/J.JLAMP.2019.04.005},
timestamp = {Sat, 22 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/AcetoFGI19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/AcetoFGIO19,
author = {Luca Aceto and
Ignacio F{\'{a}}bregas and
{\'{A}}lvaro Garc{\'{\i}}a{-}P{\'{e}}rez and
Anna Ing{\'{o}}lfsd{\'{o}}ttir and
Yolanda Ortega{-}Mall{\'{e}}n},
title = {Rule Formats for Nominal Process Calculi},
journal = {Log. Methods Comput. Sci.},
volume = {15},
number = {4},
year = {2019},
url = {https://doi.org/10.23638/LMCS-15(4:2)2019},
doi = {10.23638/LMCS-15(4:2)2019},
timestamp = {Sat, 07 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lmcs/AcetoFGIO19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/Nanevski0DF19,
author = {Aleksandar Nanevski and
Anindya Banerjee and
Germ{\'{a}}n Andr{\'{e}}s Delbianco and
Ignacio F{\'{a}}bregas},
title = {Specifying concurrent programs in separation logic: morphisms and
simulations},
journal = {Proc. {ACM} Program. Lang.},
volume = {3},
number = {{OOPSLA}},
pages = {161:1--161:30},
year = {2019},
url = {https://doi.org/10.1145/3360587},
doi = {10.1145/3360587},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/Nanevski0DF19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/AcetoMFI19,
author = {Luca Aceto and
Dario Della Monica and
Ignacio F{\'{a}}bregas and
Anna Ing{\'{o}}lfsd{\'{o}}ttir},
title = {When are prime formulae characteristic?},
journal = {Theor. Comput. Sci.},
volume = {777},
pages = {3--31},
year = {2019},
url = {https://doi.org/10.1016/j.tcs.2018.12.004},
doi = {10.1016/J.TCS.2018.12.004},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/AcetoMFI19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1904-07136,
author = {Aleksandar Nanevski and
Anindya Banerjee and
Germ{\'{a}}n Andr{\'{e}}s Delbianco and
Ignacio F{\'{a}}bregas},
title = {Specifying Concurrent Programs in Separation Logic: Morphisms and
Simulations},
journal = {CoRR},
volume = {abs/1904.07136},
year = {2019},
url = {http://arxiv.org/abs/1904.07136},
eprinttype = {arXiv},
eprint = {1904.07136},
timestamp = {Sat, 23 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1904-07136.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1807-02081,
author = {Luca Aceto and
Ignacio F{\'{a}}bregas and
{\'{A}}lvaro Garc{\'{\i}}a{-}P{\'{e}}rez and
Anna Ing{\'{o}}lfsd{\'{o}}ttir and
Yolanda Ortega{-}Mall{\'{e}}n},
title = {Rule Formats for Nominal Process Calculi},
journal = {CoRR},
volume = {abs/1807.02081},
year = {2018},
url = {http://arxiv.org/abs/1807.02081},
eprinttype = {arXiv},
eprint = {1807.02081},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1807-02081.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/AcetoFGI17,
author = {Luca Aceto and
Ignacio F{\'{a}}bregas and
{\'{A}}lvaro Garc{\'{\i}}a{-}P{\'{e}}rez and
Anna Ing{\'{o}}lfsd{\'{o}}ttir},
title = {A unified rule format for bounded nondeterminism in {SOS} with terms
as labels},
journal = {J. Log. Algebraic Methods Program.},
volume = {92},
pages = {64--86},
year = {2017},
url = {https://doi.org/10.1016/j.jlamp.2017.03.002},
doi = {10.1016/J.JLAMP.2017.03.002},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/AcetoFGI17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/AcetoFGIO17,
author = {Luca Aceto and
Ignacio F{\'{a}}bregas and
{\'{A}}lvaro Garc{\'{\i}}a{-}P{\'{e}}rez and
Anna Ing{\'{o}}lfsd{\'{o}}ttir and
Yolanda Ortega{-}Mall{\'{e}}n},
editor = {Roland Meyer and
Uwe Nestmann},
title = {Rule Formats for Nominal Process Calculi},
booktitle = {28th International Conference on Concurrency Theory, {CONCUR} 2017,
September 5-8, 2017, Berlin, Germany},
series = {LIPIcs},
volume = {85},
pages = {10:1--10:16},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2017},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2017.10},
doi = {10.4230/LIPICS.CONCUR.2017.10},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/concur/AcetoFGIO17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/AcetoFGI17,
author = {Luca Aceto and
Ignacio F{\'{a}}bregas and
Carlos Gregorio{-}Rodr{\'{\i}}guez and
Anna Ing{\'{o}}lfsd{\'{o}}ttir},
editor = {Bernhard Steffen and
Christel Baier and
Mark van den Brand and
Johann Eder and
Mike Hinchey and
Tiziana Margaria},
title = {Logical Characterisations and Compositionality of Input-Output Conformance
Simulation},
booktitle = {{SOFSEM} 2017: Theory and Practice of Computer Science - 43rd International
Conference on Current Trends in Theory and Practice of Computer Science,
Limerick, Ireland, January 16-20, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10139},
pages = {37--48},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-51963-0\_4},
doi = {10.1007/978-3-319-51963-0\_4},
timestamp = {Sun, 02 Oct 2022 16:15:51 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/AcetoFGI17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/AcetoMFI15,
author = {Luca Aceto and
Dario Della Monica and
Ignacio F{\'{a}}bregas and
Anna Ing{\'{o}}lfsd{\'{o}}ttir},
editor = {Giuseppe F. Italiano and
Giovanni Pighizzini and
Donald Sannella},
title = {When Are Prime Formulae Characteristic?},
booktitle = {Mathematical Foundations of Computer Science 2015 - 40th International
Symposium, {MFCS} 2015, Milan, Italy, August 24-28, 2015, Proceedings,
Part {I}},
series = {Lecture Notes in Computer Science},
volume = {9234},
pages = {76--88},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-48057-1\_6},
doi = {10.1007/978-3-662-48057-1\_6},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mfcs/AcetoMFI15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/AcetoFFIP13,
author = {Luca Aceto and
Ignacio F{\'{a}}bregas and
David de Frutos{-}Escrig and
Anna Ing{\'{o}}lfsd{\'{o}}ttir and
Miguel Palomino},
title = {On the specification of modal systems: {A} comparison of three frameworks},
journal = {Sci. Comput. Program.},
volume = {78},
number = {12},
pages = {2468--2487},
year = {2013},
url = {https://doi.org/10.1016/j.scico.2013.02.004},
doi = {10.1016/J.SCICO.2013.02.004},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/AcetoFFIP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsen/AcetoFFIP11,
author = {Luca Aceto and
Ignacio F{\'{a}}bregas and
David de Frutos{-}Escrig and
Anna Ing{\'{o}}lfsd{\'{o}}ttir and
Miguel Palomino},
editor = {Farhad Arbab and
Marjan Sirjani},
title = {Relating Modal Refinements, Covariant-Contravariant Simulations and
Partial Bisimulations},
booktitle = {Fundamentals of Software Engineering - 4th {IPM} International Conference,
{FSEN} 2011, Tehran, Iran, April 20-22, 2011, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7141},
pages = {268--283},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-29320-7\_18},
doi = {10.1007/978-3-642-29320-7\_18},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fsen/AcetoFFIP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1108-4464,
author = {Luca Aceto and
Ignacio F{\'{a}}bregas and
David de Frutos{-}Escrig and
Anna Ing{\'{o}}lfsd{\'{o}}ttir and
Miguel Palomino},
editor = {Bas Luttik and
Frank Valencia},
title = {Graphical representation of covariant-contravariant modal formulae},
booktitle = {Proceedings 18th International Workshop on Expressiveness in Concurrency,
{EXPRESS} 2011, Aachen, Germany, 5th September 2011},
series = {{EPTCS}},
volume = {64},
pages = {1--15},
year = {2011},
url = {https://doi.org/10.4204/EPTCS.64.1},
doi = {10.4204/EPTCS.64.1},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1108-4464.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/FabregasFP10,
author = {Ignacio F{\'{a}}bregas and
David de Frutos{-}Escrig and
Miguel Palomino},
editor = {John Hatcliff and
Elena Zucca},
title = {Logics for Contravariant Simulations},
booktitle = {Formal Techniques for Distributed Systems, Joint 12th {IFIP} {WG}
6.1 International Conference, {FMOODS} 2010 and 30th {IFIP} {WG} 6.1
International Conference, {FORTE} 2010, Amsterdam, The Netherlands,
June 7-9, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6117},
pages = {224--231},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13464-7\_18},
doi = {10.1007/978-3-642-13464-7\_18},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/forte/FabregasFP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1008-2108,
author = {Ignacio F{\'{a}}bregas and
David de Frutos{-}Escrig and
Miguel Palomino},
editor = {Luca Aceto and
Pawel Sobocinski},
title = {Equational Characterization of Covariant-Contravariant Simulation
and Conformance Simulation Semantics},
booktitle = {Proceedings Seventh Workshop on Structural Operational Semantics,
{SOS} 2010, Paris, France, 30 August 2010},
series = {{EPTCS}},
volume = {32},
pages = {1--14},
year = {2010},
url = {https://doi.org/10.4204/EPTCS.32.1},
doi = {10.4204/EPTCS.32.1},
timestamp = {Tue, 21 Apr 2020 10:56:16 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1008-2108.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/calco/FabregasFP09,
author = {Ignacio F{\'{a}}bregas and
David de Frutos{-}Escrig and
Miguel Palomino},
editor = {Alexander Kurz and
Marina Lenisa and
Andrzej Tarlecki},
title = {Non-strongly Stable Orders Also Define Interesting Simulation Relations},
booktitle = {Algebra and Coalgebra in Computer Science, Third International Conference,
{CALCO} 2009, Udine, Italy, September 7-10, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5728},
pages = {221--235},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-03741-2\_16},
doi = {10.1007/978-3-642-03741-2\_16},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/calco/FabregasFP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/Frutos-EscrigPF08,
author = {David de Frutos{-}Escrig and
Miguel Palomino and
Ignacio F{\'{a}}bregas},
editor = {Kenji Suzuki and
Teruo Higashino and
Keiichi Yasumoto and
Khaled El{-}Fakih},
title = {Multiset Bisimulations as a Common Framework for Ordinary and Probabilistic
Bisimulations},
booktitle = {Formal Techniques for Networked and Distributed Systems - {FORTE}
2008, 28th {IFIP} {WG} 6.1 International Conference, Tokyo, Japan,
June 10-13, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5048},
pages = {283--298},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-68855-6\_18},
doi = {10.1007/978-3-540-68855-6\_18},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/forte/Frutos-EscrigPF08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/FabregasPF07,
author = {Ignacio F{\'{a}}bregas and
Miguel Palomino and
David de Frutos{-}Escrig},
editor = {Cliff B. Jones and
Zhiming Liu and
Jim Woodcock},
title = {Reflection and Preservation of Properties in Coalgebraic (bi)Simulations},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2007, 4th International
Colloquium, Macau, China, September 26-28, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4711},
pages = {231--245},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-75292-9\_16},
doi = {10.1007/978-3-540-75292-9\_16},
timestamp = {Fri, 17 Feb 2023 09:02:01 +0100},
biburl = {https://dblp.org/rec/conf/ictac/FabregasPF07.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.
last updated on 2024-02-13 19:56 CET 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:
