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/fac4.bht:"
download as .bib file
@article{DBLP:journals/fac/Abdulla92,
author = {Parosh Aziz Abdulla},
title = {Automatic Verification of a Class Systolic Circuits},
journal = {Formal Aspects Comput.},
volume = {4},
number = {2},
pages = {149--194},
year = {1992},
url = {https://doi.org/10.1007/BF01212335},
doi = {10.1007/BF01212335},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/Abdulla92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/AmericaR92,
author = {Pierre America and
Jan J. M. M. Rutten},
title = {A Layered Semantics for a Parallel Object-Oriented Language},
journal = {Formal Aspects Comput.},
volume = {4},
number = {4},
pages = {376--408},
year = {1992},
url = {https://doi.org/10.1007/BF01211312},
doi = {10.1007/BF01211312},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/AmericaR92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/AndersonG92,
author = {James H. Anderson and
Mohamed G. Gouda},
title = {A Criterion for Atomicity},
journal = {Formal Aspects Comput.},
volume = {4},
number = {3},
pages = {273--298},
year = {1992},
url = {https://doi.org/10.1007/BF01212305},
doi = {10.1007/BF01212305},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/AndersonG92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/BalcazarGS92,
author = {Jos{\'{e}} L. Balc{\'{a}}zar and
Joaquim Gabarr{\'{o}} and
Miklos Santha},
title = {Deciding Bisimilarity is P-Complete},
journal = {Formal Aspects Comput.},
volume = {4},
number = {6A},
pages = {638--648},
year = {1992},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/BalcazarGS92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/BestCD92,
author = {Eike Best and
Ludmila Cherkasova and
J{\"{o}}rg Desel},
title = {Compositional Generation of Home States in Free Choice Nets},
journal = {Formal Aspects Comput.},
volume = {4},
number = {6},
pages = {572--581},
year = {1992},
url = {https://doi.org/10.1007/BF01211475},
doi = {10.1007/BF01211475},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/BestCD92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/BevierY92,
author = {William R. Bevier and
William D. Young},
title = {Machine Checked Proofs of the Design of a Fault-Tolerance Circuit},
journal = {Formal Aspects Comput.},
volume = {4},
number = {6A},
pages = {755--775},
year = {1992},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/BevierY92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/BoudrigaEM92,
author = {Noureddine Boudriga and
Fathi Elloumi and
Ali Mili},
title = {On the Lattice of Specifications: Applications to a Specification
Methodology},
journal = {Formal Aspects Comput.},
volume = {4},
number = {6},
pages = {544--571},
year = {1992},
url = {https://doi.org/10.1007/BF01211474},
doi = {10.1007/BF01211474},
timestamp = {Wed, 31 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fac/BoudrigaEM92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/Burton92,
author = {C. T. P. Burton},
title = {Program Morphisms},
journal = {Formal Aspects Comput.},
volume = {4},
number = {6A},
pages = {693--726},
year = {1992},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/Burton92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/FassbenderV92,
author = {Heinz Fa{\ss}bender and
Heiko Vogler},
title = {An Implementation of Syntax Directed Functional Programming on Nested-Stack
Machines},
journal = {Formal Aspects Comput.},
volume = {4},
number = {4},
pages = {341--375},
year = {1992},
url = {https://doi.org/10.1007/BF01211311},
doi = {10.1007/BF01211311},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/FassbenderV92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/FiadeiroM92,
author = {Jos{\'{e}} Luiz Fiadeiro and
T. S. E. Maibaum},
title = {Temporal Theories as Modularisation Units for Concurrent System Specification},
journal = {Formal Aspects Comput.},
volume = {4},
number = {3},
pages = {239--272},
year = {1992},
url = {https://doi.org/10.1007/BF01212304},
doi = {10.1007/BF01212304},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/FiadeiroM92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/Fisher92,
author = {Michael Fisher},
title = {A Model Checker for Linear Time Temporal Logic},
journal = {Formal Aspects Comput.},
volume = {4},
number = {3},
pages = {299--319},
year = {1992},
url = {https://doi.org/10.1007/BF01212306},
doi = {10.1007/BF01212306},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/Fisher92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/Fokker92,
author = {Jeroen Fokker},
title = {The Systematic Construction of a One-Combinator Basis for Lambda-Terms},
journal = {Formal Aspects Comput.},
volume = {4},
number = {6A},
pages = {776--780},
year = {1992},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/Fokker92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/Fokkinga92,
author = {Maarten M. Fokkinga},
title = {Calculate Categorically!},
journal = {Formal Aspects Comput.},
volume = {4},
number = {6A},
pages = {673--692},
year = {1992},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/Fokkinga92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/FrancezBK92,
author = {Nissim Francez and
Ralph{-}Johan Back and
Reino Kurki{-}Suonio},
title = {On Equivalence-Completions of Fairness Assumtions},
journal = {Formal Aspects Comput.},
volume = {4},
number = {6},
pages = {582--591},
year = {1992},
url = {https://doi.org/10.1007/BF01211476},
doi = {10.1007/BF01211476},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/FrancezBK92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/George92,
author = {Chris George},
title = {The {NDB} Database Specified in the {RAISE} Specification Language},
journal = {Formal Aspects Comput.},
volume = {4},
number = {1},
pages = {48--75},
year = {1992},
url = {https://doi.org/10.1007/BF01214956},
doi = {10.1007/BF01214956},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/George92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/Hayes92,
author = {Ian J. Hayes},
title = {{VDM} and {Z:} {A} Comparative Case Study},
journal = {Formal Aspects Comput.},
volume = {4},
number = {1},
pages = {76--99},
year = {1992},
url = {https://doi.org/10.1007/BF01214957},
doi = {10.1007/BF01214957},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/Hayes92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/Hindley92,
author = {J. Roger Hindley},
title = {Types with Intersection: An Introduction},
journal = {Formal Aspects Comput.},
volume = {4},
number = {5},
pages = {470--486},
year = {1992},
url = {https://doi.org/10.1007/BF01211394},
doi = {10.1007/BF01211394},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/Hindley92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/KayL92,
author = {Andrew Kay and
Peter Lupton},
title = {Sequential to Parallel Buffer Refinement (Short Communication)},
journal = {Formal Aspects Comput.},
volume = {4},
number = {5},
pages = {487--492},
year = {1992},
url = {https://doi.org/10.1007/BF01211395},
doi = {10.1007/BF01211395},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/KayL92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/Kazmierczak92,
author = {Edmund Kazmierczak},
title = {Modularising the Specification of a Small Database System in Extended
{ML}},
journal = {Formal Aspects Comput.},
volume = {4},
number = {1},
pages = {100--142},
year = {1992},
url = {https://doi.org/10.1007/BF01214958},
doi = {10.1007/BF01214958},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/Kazmierczak92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/LiuJ92,
author = {Zhiming Liu and
Mathai Joseph},
title = {Transformation of Programs for Fault-Tolerance},
journal = {Formal Aspects Comput.},
volume = {4},
number = {5},
pages = {442--469},
year = {1992},
url = {https://doi.org/10.1007/BF01211393},
doi = {10.1007/BF01211393},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/LiuJ92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/LukkienS92,
author = {Johan J. Lukkien and
Jan L. A. van de Snepscheut},
title = {Weakest Preconditions for Progress},
journal = {Formal Aspects Comput.},
volume = {4},
number = {2},
pages = {195--236},
year = {1992},
url = {https://doi.org/10.1007/BF01212336},
doi = {10.1007/BF01212336},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/LukkienS92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/Meertens92,
author = {Lambert G. L. T. Meertens},
title = {Paramorphisms},
journal = {Formal Aspects Comput.},
volume = {4},
number = {5},
pages = {413--424},
year = {1992},
url = {https://doi.org/10.1007/BF01211391},
doi = {10.1007/BF01211391},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/Meertens92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/Middelburg92,
author = {Cornelis A. Middelburg},
title = {Modular Structuring of {VDM} Specifications in {VVSL}},
journal = {Formal Aspects Comput.},
volume = {4},
number = {1},
pages = {13--47},
year = {1992},
url = {https://doi.org/10.1007/BF01214955},
doi = {10.1007/BF01214955},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/Middelburg92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/MizunoS92,
author = {Masaaki Mizuno and
David A. Schmidt},
title = {A Security Flow Control Algorithm and Its Denotational Semantics Correctness
Proof},
journal = {Formal Aspects Comput.},
volume = {4},
number = {6A},
pages = {727--754},
year = {1992},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/MizunoS92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/OravaP92,
author = {Fredrik Orava and
Joachim Parrow},
title = {An Algebraic Verification of a Mobile Network},
journal = {Formal Aspects Comput.},
volume = {4},
number = {6},
pages = {497--543},
year = {1992},
url = {https://doi.org/10.1007/BF01211473},
doi = {10.1007/BF01211473},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/OravaP92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/Owe92,
author = {Olaf Owe},
title = {Axiomatic Treatment of Processes with shared Variables Revisited},
journal = {Formal Aspects Comput.},
volume = {4},
number = {4},
pages = {323--340},
year = {1992},
url = {https://doi.org/10.1007/BF01211310},
doi = {10.1007/BF01211310},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/Owe92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/PomelloS92,
author = {Lucia Pomello and
Carla Simone},
title = {An Algebraic Characterisation of Elementary Net System (Observable)
State Space},
journal = {Formal Aspects Comput.},
volume = {4},
number = {6A},
pages = {612--637},
year = {1992},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/PomelloS92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/Russinoff92,
author = {David M. Russinoff},
title = {A Verification System for Current Programs Based on the Boyer-Moore
Prover},
journal = {Formal Aspects Comput.},
volume = {4},
number = {6A},
pages = {597--611},
year = {1992},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/Russinoff92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/Seldin92,
author = {Jonathan P. Seldin},
title = {Coquand's Calculus of Constructions: {A} Mathematical Foundation for
a Proof Development System},
journal = {Formal Aspects Comput.},
volume = {4},
number = {5},
pages = {425--441},
year = {1992},
url = {https://doi.org/10.1007/BF01211392},
doi = {10.1007/BF01211392},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/Seldin92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/Shields92,
author = {M. W. Shields},
title = {Multitraces, Hypertraces and Partial Order Semantics},
journal = {Formal Aspects Comput.},
volume = {4},
number = {6A},
pages = {649--672},
year = {1992},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/Shields92.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-31 04:57 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:
