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/fmoods/fmoods2000.bht:"
download as .bib file
@inproceedings{DBLP:conf/fmoods/AlvarezA00,
author = {Jos{\'{e}} Ambrosio Toval {\'{A}}lvarez and
Jos{\'{e}} Luis Fern{\'{a}}ndez Alem{\'{a}}n},
editor = {Scott F. Smith and
Carolyn L. Talcott},
title = {Formally Modeling {UML} and its Evolution: {A} Holistic Approach},
booktitle = {Formal Methods for Open Object-Based Distributed Systems IV, {IFIF}
{TC6/WG6.1} Fourth International Conference on Formal Methods for
Open Object-Based Distributed Systems {(FMOODS} 2000), September 6-8,
2000, Stanford, California, {USA}},
series = {{IFIP} Conference Proceedings},
volume = {177},
pages = {183--206},
publisher = {Kluwer},
year = {2000},
url = {https://doi.org/10.1007/978-0-387-35520-7\_9},
doi = {10.1007/978-0-387-35520-7\_9},
timestamp = {Thu, 21 Dec 2017 23:26:00 +0100},
biburl = {https://dblp.org/rec/conf/fmoods/AlvarezA00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmoods/AttaliCG00,
author = {Isabelle Attali and
Denis Caromel and
Romain Guider},
editor = {Scott F. Smith and
Carolyn L. Talcott},
title = {A Step Toward Automatic Distribution of Java Programs},
booktitle = {Formal Methods for Open Object-Based Distributed Systems IV, {IFIF}
{TC6/WG6.1} Fourth International Conference on Formal Methods for
Open Object-Based Distributed Systems {(FMOODS} 2000), September 6-8,
2000, Stanford, California, {USA}},
series = {{IFIP} Conference Proceedings},
volume = {177},
pages = {141--161},
publisher = {Kluwer},
year = {2000},
url = {https://doi.org/10.1007/978-0-387-35520-7\_7},
doi = {10.1007/978-0-387-35520-7\_7},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmoods/AttaliCG00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmoods/Barbosa00,
author = {Lu{\'{\i}}s Soares Barbosa},
editor = {Scott F. Smith and
Carolyn L. Talcott},
title = {Components as Processes: An Exercise in Coalgebraic Modeling},
booktitle = {Formal Methods for Open Object-Based Distributed Systems IV, {IFIF}
{TC6/WG6.1} Fourth International Conference on Formal Methods for
Open Object-Based Distributed Systems {(FMOODS} 2000), September 6-8,
2000, Stanford, California, {USA}},
series = {{IFIP} Conference Proceedings},
volume = {177},
pages = {397--417},
publisher = {Kluwer},
year = {2000},
url = {https://doi.org/10.1007/978-0-387-35520-7\_20},
doi = {10.1007/978-0-387-35520-7\_20},
timestamp = {Fri, 02 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmoods/Barbosa00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmoods/BastideSNP00,
author = {R{\'{e}}mi Bastide and
Ousmane Sy and
David Navarre and
Philippe A. Palanque},
editor = {Scott F. Smith and
Carolyn L. Talcott},
title = {A Formal Specification of the {CORBA} Event Service},
booktitle = {Formal Methods for Open Object-Based Distributed Systems IV, {IFIF}
{TC6/WG6.1} Fourth International Conference on Formal Methods for
Open Object-Based Distributed Systems {(FMOODS} 2000), September 6-8,
2000, Stanford, California, {USA}},
series = {{IFIP} Conference Proceedings},
volume = {177},
pages = {371--395},
publisher = {Kluwer},
year = {2000},
url = {https://doi.org/10.1007/978-0-387-35520-7\_19},
doi = {10.1007/978-0-387-35520-7\_19},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmoods/BastideSNP00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmoods/BlairJB00,
author = {Lynne Blair and
Trevor Jones and
Gordon S. Blair},
editor = {Scott F. Smith and
Carolyn L. Talcott},
title = {Stochastically Enhanced Timed Automata},
booktitle = {Formal Methods for Open Object-Based Distributed Systems IV, {IFIF}
{TC6/WG6.1} Fourth International Conference on Formal Methods for
Open Object-Based Distributed Systems {(FMOODS} 2000), September 6-8,
2000, Stanford, California, {USA}},
series = {{IFIP} Conference Proceedings},
volume = {177},
pages = {327--347},
publisher = {Kluwer},
year = {2000},
url = {https://doi.org/10.1007/978-0-387-35520-7\_17},
doi = {10.1007/978-0-387-35520-7\_17},
timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmoods/BlairJB00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmoods/BoltonD00,
author = {Christie Bolton and
Jim Davies},
editor = {Scott F. Smith and
Carolyn L. Talcott},
title = {Using Relational and Behavioural Semantics in the Verification of
Object Models},
booktitle = {Formal Methods for Open Object-Based Distributed Systems IV, {IFIF}
{TC6/WG6.1} Fourth International Conference on Formal Methods for
Open Object-Based Distributed Systems {(FMOODS} 2000), September 6-8,
2000, Stanford, California, {USA}},
series = {{IFIP} Conference Proceedings},
volume = {177},
pages = {163--182},
publisher = {Kluwer},
year = {2000},
url = {https://doi.org/10.1007/978-0-387-35520-7\_8},
doi = {10.1007/978-0-387-35520-7\_8},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmoods/BoltonD00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmoods/BusiGZ00,
author = {Nadia Busi and
Roberto Gorrieri and
Gianluigi Zavattaro},
editor = {Scott F. Smith and
Carolyn L. Talcott},
title = {On the Semantics of JavaSpaces},
booktitle = {Formal Methods for Open Object-Based Distributed Systems IV, {IFIF}
{TC6/WG6.1} Fourth International Conference on Formal Methods for
Open Object-Based Distributed Systems {(FMOODS} 2000), September 6-8,
2000, Stanford, California, {USA}},
series = {{IFIP} Conference Proceedings},
volume = {177},
pages = {3--19},
publisher = {Kluwer},
year = {2000},
url = {https://doi.org/10.1007/978-0-387-35520-7\_1},
doi = {10.1007/978-0-387-35520-7\_1},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmoods/BusiGZ00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmoods/DerrickB00,
author = {John Derrick and
Eerke A. Boiten},
editor = {Scott F. Smith and
Carolyn L. Talcott},
title = {Refinement of objects and operations in Object-Z},
booktitle = {Formal Methods for Open Object-Based Distributed Systems IV, {IFIF}
{TC6/WG6.1} Fourth International Conference on Formal Methods for
Open Object-Based Distributed Systems {(FMOODS} 2000), September 6-8,
2000, Stanford, California, {USA}},
series = {{IFIP} Conference Proceedings},
volume = {177},
pages = {257--277},
publisher = {Kluwer},
year = {2000},
url = {https://doi.org/10.1007/978-0-387-35520-7\_13},
doi = {10.1007/978-0-387-35520-7\_13},
timestamp = {Fri, 02 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmoods/DerrickB00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmoods/DistefanoKR00,
author = {Dino Distefano and
Joost{-}Pieter Katoen and
Arend Rensink},
editor = {Scott F. Smith and
Carolyn L. Talcott},
title = {On a Temporal Logic for Object-Based Systems},
booktitle = {Formal Methods for Open Object-Based Distributed Systems IV, {IFIF}
{TC6/WG6.1} Fourth International Conference on Formal Methods for
Open Object-Based Distributed Systems {(FMOODS} 2000), September 6-8,
2000, Stanford, California, {USA}},
series = {{IFIP} Conference Proceedings},
volume = {177},
pages = {305--325},
publisher = {Kluwer},
year = {2000},
url = {https://doi.org/10.1007/978-0-387-35520-7\_16},
doi = {10.1007/978-0-387-35520-7\_16},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmoods/DistefanoKR00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmoods/DottiR00,
author = {Fernando Lu{\'{\i}}s Dotti and
Leila Ribeiro},
editor = {Scott F. Smith and
Carolyn L. Talcott},
title = {Specification of Mobile Code Systems using Graph Grammars},
booktitle = {Formal Methods for Open Object-Based Distributed Systems IV, {IFIF}
{TC6/WG6.1} Fourth International Conference on Formal Methods for
Open Object-Based Distributed Systems {(FMOODS} 2000), September 6-8,
2000, Stanford, California, {USA}},
series = {{IFIP} Conference Proceedings},
volume = {177},
pages = {45--64},
publisher = {Kluwer},
year = {2000},
url = {https://doi.org/10.1007/978-0-387-35520-7\_3},
doi = {10.1007/978-0-387-35520-7\_3},
timestamp = {Mon, 02 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmoods/DottiR00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmoods/Duggan00,
author = {Dominic Duggan},
editor = {Scott F. Smith and
Carolyn L. Talcott},
title = {Atomic Failure in Wide-Area Computation},
booktitle = {Formal Methods for Open Object-Based Distributed Systems IV, {IFIF}
{TC6/WG6.1} Fourth International Conference on Formal Methods for
Open Object-Based Distributed Systems {(FMOODS} 2000), September 6-8,
2000, Stanford, California, {USA}},
series = {{IFIP} Conference Proceedings},
volume = {177},
pages = {65--86},
publisher = {Kluwer},
year = {2000},
url = {https://doi.org/10.1007/978-0-387-35520-7\_4},
doi = {10.1007/978-0-387-35520-7\_4},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmoods/Duggan00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmoods/EshuisW00,
author = {Rik Eshuis and
Roel J. Wieringa},
editor = {Scott F. Smith and
Carolyn L. Talcott},
title = {Requirements Level Semantics for {UML} Statecharts},
booktitle = {Formal Methods for Open Object-Based Distributed Systems IV, {IFIF}
{TC6/WG6.1} Fourth International Conference on Formal Methods for
Open Object-Based Distributed Systems {(FMOODS} 2000), September 6-8,
2000, Stanford, California, {USA}},
series = {{IFIP} Conference Proceedings},
volume = {177},
pages = {121--140},
publisher = {Kluwer},
year = {2000},
url = {https://doi.org/10.1007/978-0-387-35520-7\_6},
doi = {10.1007/978-0-387-35520-7\_6},
timestamp = {Thu, 14 Mar 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmoods/EshuisW00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmoods/JanowskiM00,
author = {Tomasz Janowski and
Wojciech I. Mostowski},
editor = {Scott F. Smith and
Carolyn L. Talcott},
title = {Fail-Stop Components by Pattern Matching},
booktitle = {Formal Methods for Open Object-Based Distributed Systems IV, {IFIF}
{TC6/WG6.1} Fourth International Conference on Formal Methods for
Open Object-Based Distributed Systems {(FMOODS} 2000), September 6-8,
2000, Stanford, California, {USA}},
series = {{IFIP} Conference Proceedings},
volume = {177},
pages = {351--370},
publisher = {Kluwer},
year = {2000},
url = {https://doi.org/10.1007/978-0-387-35520-7\_18},
doi = {10.1007/978-0-387-35520-7\_18},
timestamp = {Sat, 24 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmoods/JanowskiM00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmoods/Karp00,
author = {Alan H. Karp},
editor = {Scott F. Smith and
Carolyn L. Talcott},
title = {E-speak: the Technology for Ubiquitous E-services},
booktitle = {Formal Methods for Open Object-Based Distributed Systems IV, {IFIF}
{TC6/WG6.1} Fourth International Conference on Formal Methods for
Open Object-Based Distributed Systems {(FMOODS} 2000), September 6-8,
2000, Stanford, California, {USA}},
series = {{IFIP} Conference Proceedings},
volume = {177},
pages = {281},
publisher = {Kluwer},
year = {2000},
url = {https://doi.org/10.1007/978-0-387-35520-7\_14},
doi = {10.1007/978-0-387-35520-7\_14},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmoods/Karp00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmoods/LakosL00,
author = {Charles Lakos and
Glenn Lewis},
editor = {Scott F. Smith and
Carolyn L. Talcott},
title = {A Practical Approach to Incremental Specification},
booktitle = {Formal Methods for Open Object-Based Distributed Systems IV, {IFIF}
{TC6/WG6.1} Fourth International Conference on Formal Methods for
Open Object-Based Distributed Systems {(FMOODS} 2000), September 6-8,
2000, Stanford, California, {USA}},
series = {{IFIP} Conference Proceedings},
volume = {177},
pages = {233--256},
publisher = {Kluwer},
year = {2000},
url = {https://doi.org/10.1007/978-0-387-35520-7\_12},
doi = {10.1007/978-0-387-35520-7\_12},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmoods/LakosL00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmoods/Meseguer00,
author = {Jos{\'{e}} Meseguer},
editor = {Scott F. Smith and
Carolyn L. Talcott},
title = {Rewriting Logic and Maude: a Wide-Spectrum Semantic Framework for
Object-Based Distributed Systems},
booktitle = {Formal Methods for Open Object-Based Distributed Systems IV, {IFIF}
{TC6/WG6.1} Fourth International Conference on Formal Methods for
Open Object-Based Distributed Systems {(FMOODS} 2000), September 6-8,
2000, Stanford, California, {USA}},
series = {{IFIP} Conference Proceedings},
volume = {177},
pages = {89--117},
publisher = {Kluwer},
year = {2000},
url = {https://doi.org/10.1007/978-0-387-35520-7\_5},
doi = {10.1007/978-0-387-35520-7\_5},
timestamp = {Thu, 21 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmoods/Meseguer00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmoods/Misra00,
author = {Jayadev Misra},
editor = {Scott F. Smith and
Carolyn L. Talcott},
title = {Object-Oriented Programming for Wide-Area Computing},
booktitle = {Formal Methods for Open Object-Based Distributed Systems IV, {IFIF}
{TC6/WG6.1} Fourth International Conference on Formal Methods for
Open Object-Based Distributed Systems {(FMOODS} 2000), September 6-8,
2000, Stanford, California, {USA}},
series = {{IFIP} Conference Proceedings},
volume = {177},
pages = {209},
publisher = {Kluwer},
year = {2000},
url = {https://doi.org/10.1007/978-0-387-35520-7\_10},
doi = {10.1007/978-0-387-35520-7\_10},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmoods/Misra00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmoods/StefaniGN00,
author = {Jean{-}Bernard Stefani and
Florence Germain and
Elie Najm},
editor = {Scott F. Smith and
Carolyn L. Talcott},
title = {Elements of an object-based model for distributed and mobile computation},
booktitle = {Formal Methods for Open Object-Based Distributed Systems IV, {IFIF}
{TC6/WG6.1} Fourth International Conference on Formal Methods for
Open Object-Based Distributed Systems {(FMOODS} 2000), September 6-8,
2000, Stanford, California, {USA}},
series = {{IFIP} Conference Proceedings},
volume = {177},
pages = {23--43},
publisher = {Kluwer},
year = {2000},
url = {https://doi.org/10.1007/978-0-387-35520-7\_2},
doi = {10.1007/978-0-387-35520-7\_2},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmoods/StefaniGN00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmoods/Wang00,
author = {Yunming Wang},
editor = {Scott F. Smith and
Carolyn L. Talcott},
title = {Behavior Expression and {OMDD}},
booktitle = {Formal Methods for Open Object-Based Distributed Systems IV, {IFIF}
{TC6/WG6.1} Fourth International Conference on Formal Methods for
Open Object-Based Distributed Systems {(FMOODS} 2000), September 6-8,
2000, Stanford, California, {USA}},
series = {{IFIP} Conference Proceedings},
volume = {177},
pages = {285--304},
publisher = {Kluwer},
year = {2000},
url = {https://doi.org/10.1007/978-0-387-35520-7\_15},
doi = {10.1007/978-0-387-35520-7\_15},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmoods/Wang00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmoods/Wehrheim00,
author = {Heike Wehrheim},
editor = {Scott F. Smith and
Carolyn L. Talcott},
title = {Behavioural Subtyping and Property Preservation},
booktitle = {Formal Methods for Open Object-Based Distributed Systems IV, {IFIF}
{TC6/WG6.1} Fourth International Conference on Formal Methods for
Open Object-Based Distributed Systems {(FMOODS} 2000), September 6-8,
2000, Stanford, California, {USA}},
series = {{IFIP} Conference Proceedings},
volume = {177},
pages = {213--231},
publisher = {Kluwer},
year = {2000},
url = {https://doi.org/10.1007/978-0-387-35520-7\_11},
doi = {10.1007/978-0-387-35520-7\_11},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmoods/Wehrheim00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fmoods/2000,
editor = {Scott F. Smith and
Carolyn L. Talcott},
title = {Formal Methods for Open Object-Based Distributed Systems IV, {IFIF}
{TC6/WG6.1} Fourth International Conference on Formal Methods for
Open Object-Based Distributed Systems {(FMOODS} 2000), September 6-8,
2000, Stanford, California, {USA}},
series = {{IFIP} Conference Proceedings},
volume = {177},
publisher = {Kluwer},
year = {2000},
isbn = {0-7923-7923-3},
timestamp = {Thu, 21 Dec 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmoods/2000.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-05-24 00:03 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:
