default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/journals/mscs/mscs13.bht:"
download as .bib file
@article{DBLP:journals/mscs/Abramsky03,
author = {Samson Abramsky},
title = {Sequentiality vs. Concurrency In Games And Logic},
journal = {Math. Struct. Comput. Sci.},
volume = {13},
number = {4},
pages = {531--565},
year = {2003},
url = {https://doi.org/10.1017/S0960129503003980},
doi = {10.1017/S0960129503003980},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/Abramsky03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/AcetoLV03,
author = {Luca Aceto and
Giuseppe Longo and
Bj{\"{o}}rn Victor},
title = {Foreword To Special Issue: The Difference Between Concurrent And Sequential
Computation},
journal = {Math. Struct. Comput. Sci.},
volume = {13},
number = {4},
pages = {481--484},
year = {2003},
url = {https://doi.org/10.1017/S096012950300402X},
doi = {10.1017/S096012950300402X},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/AcetoLV03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/AdamekMV03,
author = {Jir{\'{\i}} Ad{\'{a}}mek and
Stefan Milius and
Jir{\'{\i}} Velebil},
title = {Free Iterative Theories: {A} Coalgebraic View},
journal = {Math. Struct. Comput. Sci.},
volume = {13},
number = {2},
pages = {259--320},
year = {2003},
url = {https://doi.org/10.1017/S0960129502003924},
doi = {10.1017/S0960129502003924},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/AdamekMV03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/AdamekP03,
author = {Jir{\'{\i}} Ad{\'{a}}mek and
Hans{-}E. Porst},
title = {On Varieties and Covarieties in a Category},
journal = {Math. Struct. Comput. Sci.},
volume = {13},
number = {2},
pages = {201--232},
year = {2003},
url = {https://doi.org/10.1017/S0960129502003882},
doi = {10.1017/S0960129502003882},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/AdamekP03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/AwodeyH03,
author = {Steven Awodey and
Jesse Hughes},
title = {Modal Operators and the Formal Dual of Birkhoff's Completeness Theorem},
journal = {Math. Struct. Comput. Sci.},
volume = {13},
number = {2},
pages = {233--258},
year = {2003},
url = {https://doi.org/10.1017/S0960129502003894},
doi = {10.1017/S0960129502003894},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/AwodeyH03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/Baeten03,
author = {Jos C. M. Baeten},
title = {Embedding Untimed Into Timed Process Algebra: The Case For Explicit
Termination},
journal = {Math. Struct. Comput. Sci.},
volume = {13},
number = {4},
pages = {589--618},
year = {2003},
url = {https://doi.org/10.1017/S0960129503004006},
doi = {10.1017/S0960129503004006},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/Baeten03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/BanerjeeJ03,
author = {Anindya Banerjee and
Thomas P. Jensen},
title = {Modular Control-Flow Analysis with Rank 2 Intersection Types},
journal = {Math. Struct. Comput. Sci.},
volume = {13},
number = {1},
pages = {87--124},
year = {2003},
url = {https://doi.org/10.1017/S0960129502003845},
doi = {10.1017/S0960129502003845},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/BanerjeeJ03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/Bartels03,
author = {Falk Bartels},
title = {Generalised Coinduction},
journal = {Math. Struct. Comput. Sci.},
volume = {13},
number = {2},
pages = {321--348},
year = {2003},
url = {https://doi.org/10.1017/S0960129502003900},
doi = {10.1017/S0960129502003900},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/Bartels03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/BucciarelliPS03,
author = {Antonio Bucciarelli and
Adolfo Piperno and
Ivano Salvo},
title = {Intersection Types and lambda-Definability},
journal = {Math. Struct. Comput. Sci.},
volume = {13},
number = {1},
pages = {15--53},
year = {2003},
url = {https://doi.org/10.1017/S0960129502003833},
doi = {10.1017/S0960129502003833},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/BucciarelliPS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/CorradiniC03,
author = {Flavio Corradini and
Dino Di Cola},
title = {The Expressive Power Of Urgent, Lazy And Busy-Waiting Actions In Timed
Processes},
journal = {Math. Struct. Comput. Sci.},
volume = {13},
number = {4},
pages = {619--656},
year = {2003},
url = {https://doi.org/10.1017/S0960129503004018},
doi = {10.1017/S0960129503004018},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/CorradiniC03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/CosmoKP03,
author = {Roberto Di Cosmo and
Delia Kesner and
Emmanuel Polonowski},
title = {Proof Nets And Explicit Substitutions},
journal = {Math. Struct. Comput. Sci.},
volume = {13},
number = {3},
pages = {409--450},
year = {2003},
url = {https://doi.org/10.1017/S0960129502003791},
doi = {10.1017/S0960129502003791},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/CosmoKP03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/Damiani03,
author = {Ferruccio Damiani},
title = {A Conjunctive Type System for Useless-Code Elimination},
journal = {Math. Struct. Comput. Sci.},
volume = {13},
number = {1},
pages = {157--197},
year = {2003},
url = {https://doi.org/10.1017/S0960129502003869},
doi = {10.1017/S0960129502003869},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/Damiani03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/DoughertyL03,
author = {Daniel J. Dougherty and
Pierre Lescanne},
title = {Reductions, Intersection Types, and Explicit Substitutions},
journal = {Math. Struct. Comput. Sci.},
volume = {13},
number = {1},
pages = {55--85},
year = {2003},
url = {https://doi.org/10.1017/S0960129502003821},
doi = {10.1017/S0960129502003821},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/DoughertyL03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/Duval03,
author = {Dominique Duval},
title = {Diagrammatic Specifications},
journal = {Math. Struct. Comput. Sci.},
volume = {13},
number = {6},
pages = {857--890},
year = {2003},
url = {https://doi.org/10.1017/S0960129503003979},
doi = {10.1017/S0960129503003979},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/Duval03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/Falco03,
author = {Lorenzo Tortora de Falco},
title = {Obsessional Experiments For Linear Logic Proof-Nets},
journal = {Math. Struct. Comput. Sci.},
volume = {13},
number = {6},
pages = {799--855},
year = {2003},
url = {https://doi.org/10.1017/S0960129503003967},
doi = {10.1017/S0960129503003967},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/Falco03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/GhaniLMP03,
author = {Neil Ghani and
Christoph L{\"{u}}th and
Federico De Marchi and
John Power},
title = {Dualising Initial Algebras},
journal = {Math. Struct. Comput. Sci.},
volume = {13},
number = {2},
pages = {349--370},
year = {2003},
url = {https://doi.org/10.1017/S0960129502003912},
doi = {10.1017/S0960129502003912},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/GhaniLMP03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/GordonC03,
author = {Andrew D. Gordon and
Luca Cardelli},
title = {Equational Properties Of Mobile Ambients},
journal = {Math. Struct. Comput. Sci.},
volume = {13},
number = {3},
pages = {371--408},
year = {2003},
url = {https://doi.org/10.1017/S0960129502003742},
doi = {10.1017/S0960129502003742},
timestamp = {Mon, 14 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mscs/GordonC03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/Hines03,
author = {Peter Hines},
title = {A Categorical Framework For Finite State Machines},
journal = {Math. Struct. Comput. Sci.},
volume = {13},
number = {3},
pages = {451--480},
year = {2003},
url = {https://doi.org/10.1017/S0960129503003931},
doi = {10.1017/S0960129503003931},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/Hines03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/LaneveV03,
author = {Cosimo Laneve and
Bj{\"{o}}rn Victor},
title = {Solos In Concert},
journal = {Math. Struct. Comput. Sci.},
volume = {13},
number = {5},
pages = {657--683},
year = {2003},
url = {https://doi.org/10.1017/S0960129503004055},
doi = {10.1017/S0960129503004055},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/LaneveV03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/MatheratJ03,
author = {Philippe Matherat and
Marc{-}Thierry Jaekel},
title = {Concurrent Computing Machines And Physical Space-Time},
journal = {Math. Struct. Comput. Sci.},
volume = {13},
number = {5},
pages = {771--798},
year = {2003},
url = {https://doi.org/10.1017/S0960129503004067},
doi = {10.1017/S0960129503004067},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/MatheratJ03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/Mossin03,
author = {Christian Mossin},
title = {Exact Flow Analysis},
journal = {Math. Struct. Comput. Sci.},
volume = {13},
number = {1},
pages = {125--156},
year = {2003},
url = {https://doi.org/10.1017/S0960129502003857},
doi = {10.1017/S0960129502003857},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/Mossin03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/Palamidessi03,
author = {Catuscia Palamidessi},
title = {Comparing The Expressive Power Of The Synchronous And Asynchronous
Pi-Calculi},
journal = {Math. Struct. Comput. Sci.},
volume = {13},
number = {5},
pages = {685--719},
year = {2003},
url = {https://doi.org/10.1017/S0960129503004043},
doi = {10.1017/S0960129503004043},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/Palamidessi03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/Pratt03,
author = {Vaughan R. Pratt},
title = {Transition And Cancellation In Concurrency And Branching Time},
journal = {Math. Struct. Comput. Sci.},
volume = {13},
number = {4},
pages = {485--529},
year = {2003},
url = {https://doi.org/10.1017/S0960129503004031},
doi = {10.1017/S0960129503004031},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/Pratt03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/Srba03,
author = {Jir{\'{\i}} Srba},
title = {Complexity Of Weak Bisimilarity And Regularity For Bpa And Bpp},
journal = {Math. Struct. Comput. Sci.},
volume = {13},
number = {4},
pages = {567--587},
year = {2003},
url = {https://doi.org/10.1017/S0960129503003992},
doi = {10.1017/S0960129503003992},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/Srba03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/Urzyczyn03,
author = {Pawel Urzyczyn},
title = {A Simple Proof of the Undecidability of Strong Normalisation},
journal = {Math. Struct. Comput. Sci.},
volume = {13},
number = {1},
pages = {5--13},
year = {2003},
url = {https://doi.org/10.1017/S096012950200381X},
doi = {10.1017/S096012950200381X},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/Urzyczyn03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/Zimmer03,
author = {Pascal Zimmer},
title = {On The Expressiveness Of Pure Safe Ambients},
journal = {Math. Struct. Comput. Sci.},
volume = {13},
number = {5},
pages = {721--770},
year = {2003},
url = {https://doi.org/10.1017/S0960129503004079},
doi = {10.1017/S0960129503004079},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/Zimmer03.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-10-16 07:18 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:
