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/journals/tcs/tcs177.bht:"
download as .bib file
@article{DBLP:journals/tcs/AndersonP97,
author = {Stuart Oliver Anderson and
John Power},
title = {A Representable Approach to Finite Nondeterminism},
journal = {Theor. Comput. Sci.},
volume = {177},
number = {1},
pages = {3--25},
year = {1997},
url = {https://doi.org/10.1016/S0304-3975(96)00232-0},
doi = {10.1016/S0304-3975(96)00232-0},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/AndersonP97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BaetenB97,
author = {Jos C. M. Baeten and
Jan A. Bergstra},
title = {Process Algebra with Propositional Signals},
journal = {Theor. Comput. Sci.},
volume = {177},
number = {2},
pages = {381--405},
year = {1997},
url = {https://doi.org/10.1016/S0304-3975(96)00253-8},
doi = {10.1016/S0304-3975(96)00253-8},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BaetenB97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BezemP97,
author = {Marc Bezem and
Alban Ponse},
title = {Two Finite Specifications of a Queue},
journal = {Theor. Comput. Sci.},
volume = {177},
number = {2},
pages = {487--507},
year = {1997},
url = {https://doi.org/10.1016/S0304-3975(96)00257-5},
doi = {10.1016/S0304-3975(96)00257-5},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BezemP97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Brauner97,
author = {Torben Bra{\"{u}}ner},
title = {A General Adequacy Result for a Linear Functional Language},
journal = {Theor. Comput. Sci.},
volume = {177},
number = {1},
pages = {27--58},
year = {1997},
url = {https://doi.org/10.1016/S0304-3975(96)00233-2},
doi = {10.1016/S0304-3975(96)00233-2},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Brauner97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Bucciarelli97,
author = {Antonio Bucciarelli},
title = {Degrees of Parallelism in the Continuous Type Hierarchy},
journal = {Theor. Comput. Sci.},
volume = {177},
number = {1},
pages = {59--71},
year = {1997},
url = {https://doi.org/10.1016/S0304-3975(96)00234-4},
doi = {10.1016/S0304-3975(96)00234-4},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Bucciarelli97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/CockettS97,
author = {J. Robin B. Cockett and
David A. Spooner},
title = {Constructing Process Categories},
journal = {Theor. Comput. Sci.},
volume = {177},
number = {1},
pages = {73--109},
year = {1997},
url = {https://doi.org/10.1016/S0304-3975(97)87171-X},
doi = {10.1016/S0304-3975(97)87171-X},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/CockettS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/DArgenioV97,
author = {Pedro R. D'Argenio and
Chris Verhoef},
title = {A General Conservative Extension Theorem in Process Algebras with
Inequalities},
journal = {Theor. Comput. Sci.},
volume = {177},
number = {2},
pages = {351--380},
year = {1997},
url = {https://doi.org/10.1016/S0304-3975(96)00292-7},
doi = {10.1016/S0304-3975(96)00292-7},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/DArgenioV97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Esik97,
author = {Zolt{\'{a}}n {\'{E}}sik},
title = {Completeness of Park Induction},
journal = {Theor. Comput. Sci.},
volume = {177},
number = {1},
pages = {217--283},
year = {1997},
url = {https://doi.org/10.1016/S0304-3975(96)00240-X},
doi = {10.1016/S0304-3975(96)00240-X},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Esik97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/FlaggK97,
author = {Bob Flagg and
Ralph Kopperman},
title = {Continuity Spaces: Reconciling Domains and Metric Spaces},
journal = {Theor. Comput. Sci.},
volume = {177},
number = {1},
pages = {111--138},
year = {1997},
url = {https://doi.org/10.1016/S0304-3975(97)00236-3},
doi = {10.1016/S0304-3975(97)00236-3},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/FlaggK97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/FokkinkZ97,
author = {Wan J. Fokkink and
Hans Zantema},
title = {Termination Modulo Equations by Abstract Commutation with an Application
to Iteration},
journal = {Theor. Comput. Sci.},
volume = {177},
number = {2},
pages = {407--423},
year = {1997},
url = {https://doi.org/10.1016/S0304-3975(96)00254-X},
doi = {10.1016/S0304-3975(96)00254-X},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/FokkinkZ97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/FredlundGK97,
author = {Lars{-}{\AA}ke Fredlund and
Jan Friso Groote and
Henri Korver},
title = {Formal Verification of a Leader Election Protocol in Process Algebra},
journal = {Theor. Comput. Sci.},
volume = {177},
number = {2},
pages = {459--486},
year = {1997},
url = {https://doi.org/10.1016/S0304-3975(96)00256-3},
doi = {10.1016/S0304-3975(96)00256-3},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/FredlundGK97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Glabbeek97,
author = {Rob J. van Glabbeek},
title = {Notes on the Methodology of {CCS} and {CSP}},
journal = {Theor. Comput. Sci.},
volume = {177},
number = {2},
pages = {329--349},
year = {1997},
url = {https://doi.org/10.1016/S0304-3975(96)00251-4},
doi = {10.1016/S0304-3975(96)00251-4},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Glabbeek97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/LeavensP97,
author = {Gary T. Leavens and
Don Pigozzi},
title = {The Behavior-Realization Adjunction and Generalized Homomorphic Relations},
journal = {Theor. Comput. Sci.},
volume = {177},
number = {1},
pages = {183--216},
year = {1997},
url = {https://doi.org/10.1016/S0304-3975(97)87172-1},
doi = {10.1016/S0304-3975(97)87172-1},
timestamp = {Sat, 21 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/LeavensP97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/NolteP97,
author = {Doris Nolte and
Lutz Priese},
title = {Abstract Fairness and Semantics},
journal = {Theor. Comput. Sci.},
volume = {177},
number = {1},
pages = {139--153},
year = {1997},
url = {https://doi.org/10.1016/S0304-3975(96)00237-X},
doi = {10.1016/S0304-3975(96)00237-X},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/NolteP97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/PonseVV97,
author = {Alban Ponse and
Chris Verhoef and
Bas van Vlijmen},
title = {Algebra of Communicating Processes - Preface to the Special Issue},
journal = {Theor. Comput. Sci.},
volume = {177},
number = {2},
pages = {285--286},
year = {1997},
url = {https://doi.org/10.1016/S0304-3975(96)00249-6},
doi = {10.1016/S0304-3975(96)00249-6},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/PonseVV97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Vrancken97,
author = {Jos L. M. Vrancken},
title = {The Algebra of Communicating Processes With Empty Process},
journal = {Theor. Comput. Sci.},
volume = {177},
number = {2},
pages = {287--328},
year = {1997},
url = {https://doi.org/10.1016/S0304-3975(96)00250-2},
doi = {10.1016/S0304-3975(96)00250-2},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Vrancken97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Wamel97,
author = {Jos van Wamel},
title = {Process Algebra with Language Matching},
journal = {Theor. Comput. Sci.},
volume = {177},
number = {2},
pages = {425--458},
year = {1997},
url = {https://doi.org/10.1016/S0304-3975(97)88197-2},
doi = {10.1016/S0304-3975(97)88197-2},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Wamel97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/ZhangR97,
author = {Guo{-}Qiang Zhang and
William C. Rounds},
title = {Defaults in Domain Theory},
journal = {Theor. Comput. Sci.},
volume = {177},
number = {1},
pages = {155--182},
year = {1997},
url = {https://doi.org/10.1016/S0304-3975(96)00238-1},
doi = {10.1016/S0304-3975(96)00238-1},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/ZhangR97.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-09-06 19:56 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:
