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/fac/fac13.bht:"
download as .bib file
@article{DBLP:journals/fac/BadouelCD02,
author = {{\'{E}}ric Badouel and
Beno{\^{\i}}t Caillaud and
Philippe Darondeau},
title = {Distributing Finite Automata Through Petri Net Synthesis},
journal = {Formal Aspects Comput.},
volume = {13},
number = {6},
pages = {447--470},
year = {2002},
url = {https://doi.org/10.1007/s001650200022},
doi = {10.1007/S001650200022},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/BadouelCD02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/Barendregt02,
author = {Henk Barendregt},
title = {The Ancient Theory of Mind},
journal = {Formal Aspects Comput.},
volume = {13},
number = {3-5},
pages = {422--429},
year = {2002},
url = {https://doi.org/10.1007/s001650200020},
doi = {10.1007/S001650200020},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/Barendregt02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/BidoitST02,
author = {Michel Bidoit and
Donald Sannella and
Andrzej Tarlecki},
title = {Architectural Specifications in {CASL}},
journal = {Formal Aspects Comput.},
volume = {13},
number = {3-5},
pages = {252--273},
year = {2002},
url = {https://doi.org/10.1007/s001650200012},
doi = {10.1007/S001650200012},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/BidoitST02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/CookeD02,
author = {John Cooke and
B. Tim Denvir},
title = {Editorial},
journal = {Formal Aspects Comput.},
volume = {13},
number = {2},
pages = {93},
year = {2002},
url = {https://doi.org/10.1007/s001650200000},
doi = {10.1007/S001650200000},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/CookeD02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/DerrickB02,
author = {John Derrick and
Eerke A. Boiten},
title = {Combining Component Specifications in Object-Z and {CSP}},
journal = {Formal Aspects Comput.},
volume = {13},
number = {2},
pages = {111--127},
year = {2002},
url = {https://doi.org/10.1007/s001650200002},
doi = {10.1007/S001650200002},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/DerrickB02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/GabbayP02,
author = {Murdoch Gabbay and
Andrew M. Pitts},
title = {A New Approach to Abstract Syntax with Variable Binding},
journal = {Formal Aspects Comput.},
volume = {13},
number = {3-5},
pages = {341--363},
year = {2002},
url = {https://doi.org/10.1007/s001650200016},
doi = {10.1007/S001650200016},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/GabbayP02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/GoguenR02,
author = {Joseph A. Goguen and
Grigore Rosu},
title = {Institution Morphisms},
journal = {Formal Aspects Comput.},
volume = {13},
number = {3-5},
pages = {274--307},
year = {2002},
url = {https://doi.org/10.1007/s001650200013},
doi = {10.1007/S001650200013},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/GoguenR02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/Grosse-Rhode02,
author = {Martin Gro{\ss}e{-}Rhode},
title = {Compositional Comparison of Formal Software Specifications Using Transformation
Systems},
journal = {Formal Aspects Comput.},
volume = {13},
number = {2},
pages = {161--186},
year = {2002},
url = {https://doi.org/10.1007/s001650200005},
doi = {10.1007/S001650200005},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/Grosse-Rhode02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/IpateH02,
author = {Florentin Ipate and
Mike Holcombe},
title = {Testing Conditions for Communicating Stream X-machine Systems},
journal = {Formal Aspects Comput.},
volume = {13},
number = {6},
pages = {431--446},
year = {2002},
url = {https://doi.org/10.1007/s001650200021},
doi = {10.1007/S001650200021},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/IpateH02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/Kerse02,
author = {Eleanor Kerse},
title = {Ode to Rod Burstall},
journal = {Formal Aspects Comput.},
volume = {13},
number = {3-5},
pages = {194},
year = {2002},
url = {https://doi.org/10.1007/s001650200007},
doi = {10.1007/S001650200007},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/Kerse02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/KrogdahlL02,
author = {Stein Krogdahl and
Olav Lysne},
title = {On Verification of Parallel Message-Passing Processes},
journal = {Formal Aspects Comput.},
volume = {13},
number = {6},
pages = {471--492},
year = {2002},
url = {https://doi.org/10.1007/s001650200023},
doi = {10.1007/S001650200023},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/KrogdahlL02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/Landin02,
author = {Peter J. Landin},
title = {Rod Burstall: {A} Personal Note},
journal = {Formal Aspects Comput.},
volume = {13},
number = {3-5},
pages = {195},
year = {2002},
url = {https://doi.org/10.1007/s001650200008},
doi = {10.1007/S001650200008},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/Landin02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/LeiferM02,
author = {James J. Leifer and
Robin Milner},
title = {Shallow Linear Action Graphs and their Embeddings},
journal = {Formal Aspects Comput.},
volume = {13},
number = {3-5},
pages = {327--340},
year = {2002},
url = {https://doi.org/10.1007/s001650200015},
doi = {10.1007/S001650200015},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/LeiferM02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/MacQueen02,
author = {David B. MacQueen},
title = {Should {ML} be Object-Oriented?},
journal = {Formal Aspects Comput.},
volume = {13},
number = {3-5},
pages = {214--232},
year = {2002},
url = {https://doi.org/10.1007/s001650200010},
doi = {10.1007/S001650200010},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/MacQueen02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/MahonyD02,
author = {Brendan P. Mahony and
Jin Song Dong},
title = {Deep Semantic Links of {TCSP} and Object-Z: {TCOZ} Approach},
journal = {Formal Aspects Comput.},
volume = {13},
number = {2},
pages = {142--160},
year = {2002},
url = {https://doi.org/10.1007/s001650200004},
doi = {10.1007/S001650200004},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/MahonyD02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/PettorossiP02,
author = {Alberto Pettorossi and
Maurizio Proietti},
title = {The List Introduction Strategy for the Derivation of Logic Programs},
journal = {Formal Aspects Comput.},
volume = {13},
number = {3-5},
pages = {233--251},
year = {2002},
url = {https://doi.org/10.1007/s001650200011},
doi = {10.1007/S001650200011},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/PettorossiP02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/Plotkin02,
author = {Gordon D. Plotkin},
title = {Three Inadequate Models},
journal = {Formal Aspects Comput.},
volume = {13},
number = {3-5},
pages = {364--385},
year = {2002},
url = {https://doi.org/10.1007/s001650200017},
doi = {10.1007/S001650200017},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/Plotkin02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/Pollack02,
author = {Robert Pollack},
title = {Dependently Typed Records in Type Theory},
journal = {Formal Aspects Comput.},
volume = {13},
number = {3-5},
pages = {386--402},
year = {2002},
url = {https://doi.org/10.1007/s001650200018},
doi = {10.1007/S001650200018},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/Pollack02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/Popplestone02,
author = {Robin J. Popplestone},
title = {POP, {A} Broad-Spectrum Programming Language, 1967-2002},
journal = {Formal Aspects Comput.},
volume = {13},
number = {3-5},
pages = {196--213},
year = {2002},
url = {https://doi.org/10.1007/s001650200009},
doi = {10.1007/S001650200009},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/Popplestone02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/Robinson02,
author = {Edmund Robinson},
title = {Variations on Algebra: Monadicity and Generalisations of Equational
Theories},
journal = {Formal Aspects Comput.},
volume = {13},
number = {3-5},
pages = {308--326},
year = {2002},
url = {https://doi.org/10.1007/s001650200014},
doi = {10.1007/S001650200014},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/Robinson02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/RydeheardS02,
author = {David E. Rydeheard and
Donald Sannella},
title = {A Collection of Papers and Memoirs Celebrating the Contribution of
Rod Burstall to Advances in Computer Science},
journal = {Formal Aspects Comput.},
volume = {13},
number = {3-5},
pages = {187--193},
year = {2002},
url = {https://doi.org/10.1007/s001650200006},
doi = {10.1007/S001650200006},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/RydeheardS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/SmithH02,
author = {Graeme Smith and
Ian J. Hayes},
title = {An Introduction to Real-Time Object-Z},
journal = {Formal Aspects Comput.},
volume = {13},
number = {2},
pages = {128--141},
year = {2002},
url = {https://doi.org/10.1007/s001650200003},
doi = {10.1007/S001650200003},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/SmithH02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/Suhl02,
author = {Carsten S{\"{u}}hl},
title = {An Overview of the Integrated Formalism {RT-Z}},
journal = {Formal Aspects Comput.},
volume = {13},
number = {2},
pages = {94--110},
year = {2002},
url = {https://doi.org/10.1007/s001650200001},
doi = {10.1007/S001650200001},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/Suhl02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/WhittleBB02,
author = {Jon Whittle and
Alan Bundy and
Richard J. Boulton},
title = {Proofs-as-Programs as a Framework for the Design of an Analogy-Based
{ML} Editor},
journal = {Formal Aspects Comput.},
volume = {13},
number = {3-5},
pages = {403--421},
year = {2002},
url = {https://doi.org/10.1007/s001650200019},
doi = {10.1007/S001650200019},
timestamp = {Tue, 24 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/WhittleBB02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/AriasD01,
author = {Jos{\'{e}} Juan Pazos{-}Arias and
Jorge Garc{\'{\i}}a Duque},
title = {{SCTL-MUS:} {A} Formal Methodology for Software Development of Distributed
Systems. {A} Case Study},
journal = {Formal Aspects Comput.},
volume = {13},
number = {1},
pages = {50--91},
year = {2001},
url = {https://doi.org/10.1007/PL00003939},
doi = {10.1007/PL00003939},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/AriasD01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/GrosuS01,
author = {Radu Grosu and
Ketil St{\o}len},
title = {Stream-Based Specification of Mobile Systems},
journal = {Formal Aspects Comput.},
volume = {13},
number = {1},
pages = {1--31},
year = {2001},
url = {https://doi.org/10.1007/PL00003937},
doi = {10.1007/PL00003937},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/GrosuS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/VickersH01,
author = {Steven Vickers and
Gillian Hill},
title = {Presheaves as Configured Specifications},
journal = {Formal Aspects Comput.},
volume = {13},
number = {1},
pages = {32--49},
year = {2001},
url = {https://doi.org/10.1007/PL00003938},
doi = {10.1007/PL00003938},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/VickersH01.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-04 04:06 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:
