default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/journals/mscs/mscs26.bht:"
download as .bib file
@article{DBLP:journals/mscs/AbrahamTS16,
author = {Erika {\'{A}}brah{\'{a}}m and
Thi Mai Thuong Tran and
Martin Steffen},
title = {Observable interface behaviour and inheritance},
journal = {Math. Struct. Comput. Sci.},
volume = {26},
number = {3},
pages = {561--605},
year = {2016},
url = {https://doi.org/10.1017/S0960129514000255},
doi = {10.1017/S0960129514000255},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/AbrahamTS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/Ahrens16,
author = {Benedikt Ahrens},
title = {Modules over relative monads for syntax and semantics},
journal = {Math. Struct. Comput. Sci.},
volume = {26},
number = {1},
pages = {3--37},
year = {2016},
url = {https://doi.org/10.1017/S0960129514000103},
doi = {10.1017/S0960129514000103},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/Ahrens16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/AltenkirchM16,
author = {Thorsten Altenkirch and
Conor McBride},
title = {Selected papers from Dependently Typed Programming 2010 - Overview},
journal = {Math. Struct. Comput. Sci.},
volume = {26},
number = {1},
pages = {1--2},
year = {2016},
url = {https://doi.org/10.1017/S0960129514000097},
doi = {10.1017/S0960129514000097},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/AltenkirchM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/AubertS16,
author = {Cl{\'{e}}ment Aubert and
Thomas Seiller},
title = {Characterizing co-NL by a group action},
journal = {Math. Struct. Comput. Sci.},
volume = {26},
number = {4},
pages = {606--638},
year = {2016},
url = {https://doi.org/10.1017/S0960129514000267},
doi = {10.1017/S0960129514000267},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/AubertS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/BaetenLMT16,
author = {Jos C. M. Baeten and
Bas Luttik and
Tim Muller and
Paul van Tilburg},
title = {Expressiveness modulo bisimilarity of regular expressions with parallel
composition},
journal = {Math. Struct. Comput. Sci.},
volume = {26},
number = {6},
pages = {933--968},
year = {2016},
url = {https://doi.org/10.1017/S0960129514000309},
doi = {10.1017/S0960129514000309},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/BaetenLMT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/BernardiH16,
author = {Giovanni Tito Bernardi and
Matthew Hennessy},
title = {Modelling session types using contracts},
journal = {Math. Struct. Comput. Sci.},
volume = {26},
number = {3},
pages = {510--560},
year = {2016},
url = {https://doi.org/10.1017/S0960129514000243},
doi = {10.1017/S0960129514000243},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/BernardiH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/BoldoLM16,
author = {Sylvie Boldo and
Catherine Lelay and
Guillaume Melquiond},
title = {Formalization of real analysis: a survey of proof assistants and libraries},
journal = {Math. Struct. Comput. Sci.},
volume = {26},
number = {7},
pages = {1196--1233},
year = {2016},
url = {https://doi.org/10.1017/S0960129514000437},
doi = {10.1017/S0960129514000437},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/BoldoLM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/BonchiBCR016,
author = {Filippo Bonchi and
Marcello M. Bonsangue and
Georgiana Caltais and
Jan Rutten and
Alexandra Silva},
title = {A coalgebraic view on decorated traces},
journal = {Math. Struct. Comput. Sci.},
volume = {26},
number = {7},
pages = {1234--1268},
year = {2016},
url = {https://doi.org/10.1017/S0960129514000449},
doi = {10.1017/S0960129514000449},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/BonchiBCR016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/BoveKS16,
author = {Ana Bove and
Alexander Krauss and
Matthieu Sozeau},
title = {Partiality and recursion in interactive theorem provers - an overview},
journal = {Math. Struct. Comput. Sci.},
volume = {26},
number = {1},
pages = {38--88},
year = {2016},
url = {https://doi.org/10.1017/S0960129514000115},
doi = {10.1017/S0960129514000115},
timestamp = {Mon, 26 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mscs/BoveKS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/CairesPT16,
author = {Lu{\'{\i}}s Caires and
Frank Pfenning and
Bernardo Toninho},
title = {Linear logic propositions as session types},
journal = {Math. Struct. Comput. Sci.},
volume = {26},
number = {3},
pages = {367--423},
year = {2016},
url = {https://doi.org/10.1017/S0960129514000218},
doi = {10.1017/S0960129514000218},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/CairesPT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/CapecchiCD16,
author = {Sara Capecchi and
Ilaria Castellani and
Mariangiola Dezani{-}Ciancaglini},
title = {Information flow safety in multiparty sessions},
journal = {Math. Struct. Comput. Sci.},
volume = {26},
number = {8},
pages = {1352--1394},
year = {2016},
url = {https://doi.org/10.1017/S0960129514000619},
doi = {10.1017/S0960129514000619},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/CapecchiCD16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/CapecchiGY16,
author = {Sara Capecchi and
Elena Giachino and
Nobuko Yoshida},
title = {Global escape in multiparty sessions},
journal = {Math. Struct. Comput. Sci.},
volume = {26},
number = {2},
pages = {156--205},
year = {2016},
url = {https://doi.org/10.1017/S0960129514000164},
doi = {10.1017/S0960129514000164},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mscs/CapecchiGY16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/Chatzikokolakis16,
author = {Konstantinos Chatzikokolakis and
Catuscia Palamidessi and
Christelle Braun},
title = {Compositional methods for information-hiding},
journal = {Math. Struct. Comput. Sci.},
volume = {26},
number = {6},
pages = {908--932},
year = {2016},
url = {https://doi.org/10.1017/S0960129514000292},
doi = {10.1017/S0960129514000292},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/Chatzikokolakis16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/CoppoDYP16,
author = {Mario Coppo and
Mariangiola Dezani{-}Ciancaglini and
Nobuko Yoshida and
Luca Padovani},
title = {Global progress for dynamically interleaved multiparty sessions},
journal = {Math. Struct. Comput. Sci.},
volume = {26},
number = {2},
pages = {238--302},
year = {2016},
url = {https://doi.org/10.1017/S0960129514000188},
doi = {10.1017/S0960129514000188},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/CoppoDYP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/CristescuH16,
author = {Ioana Cristescu and
Daniel Hirschkoff},
title = {Termination in a {\(\pi\)}-calculus with subtyping},
journal = {Math. Struct. Comput. Sci.},
volume = {26},
number = {8},
pages = {1395--1432},
year = {2016},
url = {https://doi.org/10.1017/S0960129514000620},
doi = {10.1017/S0960129514000620},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/CristescuH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/DengSC16,
author = {Yuxin Deng and
Robert J. Simmons and
Iliano Cervesato},
title = {Relating reasoning methodologies in linear logic and process algebra},
journal = {Math. Struct. Comput. Sci.},
volume = {26},
number = {5},
pages = {868--906},
year = {2016},
url = {https://doi.org/10.1017/S0960129514000413},
doi = {10.1017/S0960129514000413},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/DengSC16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/DiaconescuM16,
author = {Razvan Diaconescu and
Alexandre Madeira},
title = {Encoding hybridized institutions into first-order logic},
journal = {Math. Struct. Comput. Sci.},
volume = {26},
number = {5},
pages = {745--788},
year = {2016},
url = {https://doi.org/10.1017/S0960129514000383},
doi = {10.1017/S0960129514000383},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/DiaconescuM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/FigueiraHL16,
author = {Diego Figueira and
Piotr Hofman and
Slawomir Lasota},
title = {Relating timed and register automata},
journal = {Math. Struct. Comput. Sci.},
volume = {26},
number = {6},
pages = {993--1021},
year = {2016},
url = {https://doi.org/10.1017/S0960129514000322},
doi = {10.1017/S0960129514000322},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/FigueiraHL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/FroschleV16,
author = {Sibylle B. Fr{\"{o}}schle and
Frank D. Valencia},
title = {Preface to special issue: {EXPRESS} 2010},
journal = {Math. Struct. Comput. Sci.},
volume = {26},
number = {6},
pages = {907},
year = {2016},
url = {https://doi.org/10.1017/S0960129514000371},
doi = {10.1017/S0960129514000371},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/FroschleV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/GaboardiPP16,
author = {Marco Gaboardi and
Luca Paolini and
Mauro Piccolo},
title = {On the reification of semantic linearity},
journal = {Math. Struct. Comput. Sci.},
volume = {26},
number = {5},
pages = {829--867},
year = {2016},
url = {https://doi.org/10.1017/S0960129514000401},
doi = {10.1017/S0960129514000401},
timestamp = {Sun, 06 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/GaboardiPP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/GayR16,
author = {Simon J. Gay and
Ant{\'{o}}nio Ravara},
title = {Preface to special issue: behavioural types},
journal = {Math. Struct. Comput. Sci.},
volume = {26},
number = {2},
pages = {154--155},
year = {2016},
url = {https://doi.org/10.1017/S0960129514000152},
doi = {10.1017/S0960129514000152},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/GayR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/GayR16a,
author = {Simon J. Gay and
Ant{\'{o}}nio Ravara},
title = {Preface to special issue: behavioural types},
journal = {Math. Struct. Comput. Sci.},
volume = {26},
number = {3},
pages = {365--366},
year = {2016},
url = {https://doi.org/10.1017/S0960129514000206},
doi = {10.1017/S0960129514000206},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/GayR16a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/GhaniH16,
author = {Neil Ghani and
Peter G. Hancock},
title = {Containers, monads and induction recursion},
journal = {Math. Struct. Comput. Sci.},
volume = {26},
number = {1},
pages = {89--113},
year = {2016},
url = {https://doi.org/10.1017/S0960129514000127},
doi = {10.1017/S0960129514000127},
timestamp = {Fri, 19 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/GhaniH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/GiacobazziM16,
author = {Roberto Giacobazzi and
Isabella Mastroeni},
title = {Making abstract models complete},
journal = {Math. Struct. Comput. Sci.},
volume = {26},
number = {4},
pages = {658--701},
year = {2016},
url = {https://doi.org/10.1017/S0960129514000358},
doi = {10.1017/S0960129514000358},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mscs/GiacobazziM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/GiuntiV16,
author = {Marco Giunti and
Vasco Thudichum Vasconcelos},
title = {Linearity, session types and the Pi calculus},
journal = {Math. Struct. Comput. Sci.},
volume = {26},
number = {2},
pages = {206--237},
year = {2016},
url = {https://doi.org/10.1017/S0960129514000176},
doi = {10.1017/S0960129514000176},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/GiuntiV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/GorlaN16,
author = {Daniele Gorla and
Uwe Nestmann},
title = {Full abstraction for expressiveness: history, myths and facts},
journal = {Math. Struct. Comput. Sci.},
volume = {26},
number = {4},
pages = {639--654},
year = {2016},
url = {https://doi.org/10.1017/S0960129514000279},
doi = {10.1017/S0960129514000279},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/GorlaN16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/GotoJJPR16,
author = {Matthew A. Goto and
Radha Jagadeesan and
Alan Jeffrey and
Corin Pitcher and
James Riely},
title = {An extensible approach to session polymorphism},
journal = {Math. Struct. Comput. Sci.},
volume = {26},
number = {3},
pages = {465--509},
year = {2016},
url = {https://doi.org/10.1017/S0960129514000231},
doi = {10.1017/S0960129514000231},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/GotoJJPR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/GuillermoM16,
author = {Mauricio Guillermo and
Alexandre Miquel},
title = {Specifying Peirce's law in classical realizability},
journal = {Math. Struct. Comput. Sci.},
volume = {26},
number = {7},
pages = {1269--1303},
year = {2016},
url = {https://doi.org/10.1017/S0960129514000450},
doi = {10.1017/S0960129514000450},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/GuillermoM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/HeijltjesS16,
author = {Willem Heijltjes and
Lutz Stra{\ss}burger},
title = {Proof nets and semi-star-autonomous categories},
journal = {Math. Struct. Comput. Sci.},
volume = {26},
number = {5},
pages = {789--828},
year = {2016},
url = {https://doi.org/10.1017/S0960129514000395},
doi = {10.1017/S0960129514000395},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/HeijltjesS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/Ionescu16,
author = {Cezar Ionescu},
title = {Vulnerability modelling with functional programming and dependent
types},
journal = {Math. Struct. Comput. Sci.},
volume = {26},
number = {1},
pages = {114--128},
year = {2016},
url = {https://doi.org/10.1017/S0960129514000139},
doi = {10.1017/S0960129514000139},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/Ionescu16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/Kanovich16,
author = {Max I. Kanovich},
title = {The undecidability theorem for the Horn-like fragment of linear logic
(Revisited)},
journal = {Math. Struct. Comput. Sci.},
volume = {26},
number = {5},
pages = {719--744},
year = {2016},
url = {https://doi.org/10.1017/S0960129516000049},
doi = {10.1017/S0960129516000049},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/Kanovich16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/KansoS16,
author = {Karim Kanso and
Anton Setzer},
title = {A light-weight integration of automated and interactive theorem proving},
journal = {Math. Struct. Comput. Sci.},
volume = {26},
number = {1},
pages = {129--153},
year = {2016},
url = {https://doi.org/10.1017/S0960129514000140},
doi = {10.1017/S0960129514000140},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/KansoS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/KouzapasYHH16,
author = {Dimitrios Kouzapas and
Nobuko Yoshida and
Raymond Hu and
Kohei Honda},
title = {On asynchronous eventful session semantics},
journal = {Math. Struct. Comput. Sci.},
volume = {26},
number = {2},
pages = {303--364},
year = {2016},
url = {https://doi.org/10.1017/S096012951400019X},
doi = {10.1017/S096012951400019X},
timestamp = {Sun, 06 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/KouzapasYHH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/LagoG16,
author = {Ugo Dal Lago and
Paolo Di Giamberardino},
title = {On session types and polynomial time},
journal = {Math. Struct. Comput. Sci.},
volume = {26},
number = {8},
pages = {1433--1458},
year = {2016},
url = {https://doi.org/10.1017/S0960129514000632},
doi = {10.1017/S0960129514000632},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/LagoG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/LagoMS16,
author = {Ugo Dal Lago and
Simone Martini and
Davide Sangiorgi},
title = {Light logics and higher-order processes},
journal = {Math. Struct. Comput. Sci.},
volume = {26},
number = {6},
pages = {969--992},
year = {2016},
url = {https://doi.org/10.1017/S0960129514000310},
doi = {10.1017/S0960129514000310},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/LagoMS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/Lowe16,
author = {Gavin Lowe},
title = {Models for {CSP} with availability information},
journal = {Math. Struct. Comput. Sci.},
volume = {26},
number = {6},
pages = {1022--1053},
year = {2016},
url = {https://doi.org/10.1017/S0960129514000334},
doi = {10.1017/S0960129514000334},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/Lowe16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/LuttikV16,
author = {Bas Luttik and
Frank D. Valencia},
title = {Preface to special issue: {EXPRESS} 2011},
journal = {Math. Struct. Comput. Sci.},
volume = {26},
number = {8},
pages = {1351},
year = {2016},
url = {https://doi.org/10.1017/S0960129514000607},
doi = {10.1017/S0960129514000607},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/LuttikV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/Padovani16,
author = {Luca Padovani},
title = {Fair subtyping for multi-party session types},
journal = {Math. Struct. Comput. Sci.},
volume = {26},
number = {3},
pages = {424--464},
year = {2016},
url = {https://doi.org/10.1017/S096012951400022X},
doi = {10.1017/S096012951400022X},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/Padovani16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/Parrow16,
author = {Joachim Parrow},
title = {General conditions for full abstraction},
journal = {Math. Struct. Comput. Sci.},
volume = {26},
number = {4},
pages = {655--657},
year = {2016},
url = {https://doi.org/10.1017/S0960129514000280},
doi = {10.1017/S0960129514000280},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/Parrow16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/PetersN16,
author = {Kirstin Peters and
Uwe Nestmann},
title = {Breaking symmetries},
journal = {Math. Struct. Comput. Sci.},
volume = {26},
number = {6},
pages = {1054--1106},
year = {2016},
url = {https://doi.org/10.1017/S0960129514000346},
doi = {10.1017/S0960129514000346},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/PetersN16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/PetersSGN16,
author = {Kirstin Peters and
Jens{-}Wolfhard Schicke{-}Uffmann and
Ursula Goltz and
Uwe Nestmann},
title = {Synchrony versus causality in distributed systems},
journal = {Math. Struct. Comput. Sci.},
volume = {26},
number = {8},
pages = {1459--1498},
year = {2016},
url = {https://doi.org/10.1017/S0960129514000644},
doi = {10.1017/S0960129514000644},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/PetersSGN16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/Ruet16,
author = {Paul Ruet},
title = {Local cycles and dynamical properties of Boolean networks},
journal = {Math. Struct. Comput. Sci.},
volume = {26},
number = {4},
pages = {702--718},
year = {2016},
url = {https://doi.org/10.1017/S096012951400036X},
doi = {10.1017/S096012951400036X},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/Ruet16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/SalvatiW16,
author = {Sylvain Salvati and
Igor Walukiewicz},
title = {Simply typed fixpoint calculus and collapsible pushdown automata},
journal = {Math. Struct. Comput. Sci.},
volume = {26},
number = {7},
pages = {1304--1350},
year = {2016},
url = {https://doi.org/10.1017/S0960129514000590},
doi = {10.1017/S0960129514000590},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/SalvatiW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/Zorzi16,
author = {Margherita Zorzi},
title = {On quantum lambda calculi: a foundational perspective},
journal = {Math. Struct. Comput. Sci.},
volume = {26},
number = {7},
pages = {1107--1195},
year = {2016},
url = {https://doi.org/10.1017/S0960129514000425},
doi = {10.1017/S0960129514000425},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/Zorzi16.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 2025-01-19 03:53 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:
