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/fac9.bht:"
download as .bib file
@article{DBLP:journals/fac/BackGW97,
author = {Ralph{-}Johan Back and
Jim Grundy and
Joakim von Wright},
title = {Structured Calculational Proof},
journal = {Formal Aspects Comput.},
volume = {9},
number = {5-6},
pages = {469--483},
year = {1997},
url = {https://doi.org/10.1007/BF01211456},
doi = {10.1007/BF01211456},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/BackGW97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/BaierM97,
author = {Christel Baier and
Mila E. Majster{-}Cederbaum},
title = {The Connection Between Initial and Unique Solutions of Domain Equations
in the Partial Order and Metric Approach},
journal = {Formal Aspects Comput.},
volume = {9},
number = {4},
pages = {425--445},
year = {1997},
url = {https://doi.org/10.1007/BF01211300},
doi = {10.1007/BF01211300},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/BaierM97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/BezemBG97,
author = {Marc Bezem and
Roland N. Bol and
Jan Friso Groote},
title = {Formalizing Process Algebraic Verifications in the Calculus of Constructions},
journal = {Formal Aspects Comput.},
volume = {9},
number = {1},
pages = {1--48},
year = {1997},
url = {https://doi.org/10.1007/BF01212523},
doi = {10.1007/BF01212523},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/BezemBG97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/Caswell97,
author = {Matthew J. A. Caswell},
title = {Equivalence of Formal Semantics Definition Methods},
journal = {Formal Aspects Comput.},
volume = {9},
number = {1},
pages = {68--77},
year = {1997},
url = {https://doi.org/10.1007/BF01212525},
doi = {10.1007/BF01212525},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/Caswell97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/DijkstraS97,
author = {Rutger M. Dijkstra and
Beverly A. Sanders},
title = {A Predicate Transformer for the Progress Property 'To-Always'},
journal = {Formal Aspects Comput.},
volume = {9},
number = {3},
pages = {270--282},
year = {1997},
url = {https://doi.org/10.1007/BF01211085},
doi = {10.1007/BF01211085},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/DijkstraS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/FidgeW97,
author = {Colin J. Fidge and
Andy J. Wellings},
title = {An Action-Based Formal Model for Concurrent Real-Time Systems},
journal = {Formal Aspects Comput.},
volume = {9},
number = {2},
pages = {175--207},
year = {1997},
url = {https://doi.org/10.1007/BF01211618},
doi = {10.1007/BF01211618},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/FidgeW97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/HansenC97,
author = {Michael R. Hansen and
Zhou Chaochen},
title = {Duration Calculus: Logical Foundations},
journal = {Formal Aspects Comput.},
volume = {9},
number = {3},
pages = {283--330},
year = {1997},
url = {https://doi.org/10.1007/BF01211086},
doi = {10.1007/BF01211086},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/HansenC97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/Hesselink97,
author = {Wim H. Hesselink},
title = {A Mechanical Proof of Segall's {PIF} Algorithm},
journal = {Formal Aspects Comput.},
volume = {9},
number = {2},
pages = {208--226},
year = {1997},
url = {https://doi.org/10.1007/BF01211619},
doi = {10.1007/BF01211619},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/Hesselink97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/Hesselink97a,
author = {Wim H. Hesselink},
title = {Theories for Mechanical Proofs of Imperative Programs},
journal = {Formal Aspects Comput.},
volume = {9},
number = {5-6},
pages = {448--468},
year = {1997},
url = {https://doi.org/10.1007/BF01211455},
doi = {10.1007/BF01211455},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/Hesselink97a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/JosephsB97,
author = {Mark B. Josephs and
Andrew M. Bailey},
title = {The Use of SI-Algebra in the Design of Sequencer Circuits},
journal = {Formal Aspects Comput.},
volume = {9},
number = {4},
pages = {395--408},
year = {1997},
url = {https://doi.org/10.1007/BF01211298},
doi = {10.1007/BF01211298},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/JosephsB97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/JutlaR97,
author = {Charanjit S. Jutla and
Josyula R. Rao},
title = {A Methodology for Designing Proof Rules for Fair Parallel Programs},
journal = {Formal Aspects Comput.},
volume = {9},
number = {4},
pages = {359--378},
year = {1997},
url = {https://doi.org/10.1007/BF01211296},
doi = {10.1007/BF01211296},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/JutlaR97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/KindlerRVW97,
author = {Ekkart Kindler and
Wolfgang Reisig and
Hagen V{\"{o}}lzer and
Rolf Walter},
title = {Petri Net Based Verification of Distributed Algorithms: An Example},
journal = {Formal Aspects Comput.},
volume = {9},
number = {4},
pages = {409--424},
year = {1997},
url = {https://doi.org/10.1007/BF01211299},
doi = {10.1007/BF01211299},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/KindlerRVW97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/Kneuper97,
author = {Ralf Kneuper},
title = {Limits of Formal Methods},
journal = {Formal Aspects Comput.},
volume = {9},
number = {4},
pages = {379--394},
year = {1997},
url = {https://doi.org/10.1007/BF01211297},
doi = {10.1007/BF01211297},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/Kneuper97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/KnijnenburgK97,
author = {Peter M. W. Knijnenburg and
Joost N. Kok},
title = {The Semantics of the Combination of Atomized Statements and Parallel
Choice},
journal = {Formal Aspects Comput.},
volume = {9},
number = {5-6},
pages = {518--536},
year = {1997},
url = {https://doi.org/10.1007/BF01211458},
doi = {10.1007/BF01211458},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/KnijnenburgK97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/KoutnyMP97,
author = {Maciej Koutny and
Luigi V. Mancini and
Giuseppe Pappalardo},
title = {Two Implementation Relations and the Correctness of Communicating
Replicated Processes},
journal = {Formal Aspects Comput.},
volume = {9},
number = {2},
pages = {119--148},
year = {1997},
url = {https://doi.org/10.1007/BF01211616},
doi = {10.1007/BF01211616},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/KoutnyMP97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/KrogdahlL97,
author = {Stein Krogdahl and
Olav Lysne},
title = {Verifying a Distributed List System: {A} Case History},
journal = {Formal Aspects Comput.},
volume = {9},
number = {1},
pages = {98--118},
year = {1997},
url = {https://doi.org/10.1007/BF01212527},
doi = {10.1007/BF01212527},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/KrogdahlL97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/Nishimura97,
author = {Susumu Nishimura},
title = {A Strict Functional Language with Cyclic Recursive Data},
journal = {Formal Aspects Comput.},
volume = {9},
number = {1},
pages = {78--97},
year = {1997},
url = {https://doi.org/10.1007/BF01212526},
doi = {10.1007/BF01212526},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/Nishimura97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/OHalloranAK97,
author = {Colin O'Halloran and
R. D. Arthan and
D. King},
title = {Using a Formal Specification Contractually},
journal = {Formal Aspects Comput.},
volume = {9},
number = {4},
pages = {349--358},
year = {1997},
url = {https://doi.org/10.1007/BF01211295},
doi = {10.1007/BF01211295},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/OHalloranAK97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/OLearyBL97,
author = {John O'Leary and
Geoffrey Brown and
Wayne Luk},
title = {Verified Compilation of Communicating Processes into Clocked Circuits},
journal = {Formal Aspects Comput.},
volume = {9},
number = {5-6},
pages = {537--559},
year = {1997},
url = {https://doi.org/10.1007/BF01211459},
doi = {10.1007/BF01211459},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/OLearyBL97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/PalsbergWO97,
author = {Jens Palsberg and
Mitchell Wand and
Patrick O'Keefe},
title = {Type Inference with Non-Structural Subtyping},
journal = {Formal Aspects Comput.},
volume = {9},
number = {1},
pages = {49--67},
year = {1997},
url = {https://doi.org/10.1007/BF01212524},
doi = {10.1007/BF01212524},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/PalsbergWO97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/Parent-Vigouroux97,
author = {Catherine Parent{-}Vigouroux},
title = {Verifying Programs in the Calculus of Inductive Constructions},
journal = {Formal Aspects Comput.},
volume = {9},
number = {5-6},
pages = {484--517},
year = {1997},
url = {https://doi.org/10.1007/BF01211457},
doi = {10.1007/BF01211457},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/Parent-Vigouroux97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/Ross97,
author = {Brian J. Ross},
title = {Running Programs Backwards: The Logical Inversion of Imperative Computation},
journal = {Formal Aspects Comput.},
volume = {9},
number = {3},
pages = {331--348},
year = {1997},
url = {https://doi.org/10.1007/BF01211087},
doi = {10.1007/BF01211087},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/Ross97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/SannellaT97,
author = {Donald Sannella and
Andrzej Tarlecki},
title = {Essential Concepts of Algebraic Specification and Program Development},
journal = {Formal Aspects Comput.},
volume = {9},
number = {3},
pages = {229--269},
year = {1997},
url = {https://doi.org/10.1007/BF01211084},
doi = {10.1007/BF01211084},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/SannellaT97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/XuRH97,
author = {Qiwen Xu and
Willem P. de Roever and
Jifeng He},
title = {The Rely-Guarantee Method for Verifying Shared Variable Concurrent
Programs},
journal = {Formal Aspects Comput.},
volume = {9},
number = {2},
pages = {149--174},
year = {1997},
url = {https://doi.org/10.1007/BF01211617},
doi = {10.1007/BF01211617},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/XuRH97.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-04-17 01:54 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:
