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/fac3.bht:"
download as .bib file
@article{DBLP:journals/fac/AlagarR91,
author = {Vangalur S. Alagar and
Greetha Ramanathan},
title = {Functional Specification and Proof of Correctness for Time Dependent
Behaviour of Reactive Systems},
journal = {Formal Aspects Comput.},
volume = {3},
number = {3},
pages = {253--283},
year = {1991},
url = {https://doi.org/10.1007/BF01245633},
doi = {10.1007/BF01245633},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/AlagarR91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/BaetenB91,
author = {Jos C. M. Baeten and
Jan A. Bergstra},
title = {Real Time Process Algebra},
journal = {Formal Aspects Comput.},
volume = {3},
number = {2},
pages = {142--188},
year = {1991},
url = {https://doi.org/10.1007/BF01898401},
doi = {10.1007/BF01898401},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/BaetenB91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/Barrett91,
author = {Geoff Barrett},
title = {The Fixed Point Theory of Unbounded Non-Determinism},
journal = {Formal Aspects Comput.},
volume = {3},
number = {2},
pages = {110--128},
year = {1991},
url = {https://doi.org/10.1007/BF01898399},
doi = {10.1007/BF01898399},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/Barrett91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/Baumann91,
author = {Peter Baumann},
title = {Towards a Semantics-Based Information Theory},
journal = {Formal Aspects Comput.},
volume = {3},
number = {4},
pages = {315--325},
year = {1991},
url = {https://doi.org/10.1007/BF01642506},
doi = {10.1007/BF01642506},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/Baumann91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/Broy91,
author = {Manfred Broy},
title = {Towards a Formal Foundation of the Specification and Description Language
{SDL}},
journal = {Formal Aspects Comput.},
volume = {3},
number = {1},
pages = {21--57},
year = {1991},
url = {https://doi.org/10.1007/BF01211434},
doi = {10.1007/BF01211434},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/Broy91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/Cusack91,
author = {Elspeth Cusack},
title = {Refinement, Conformance and Inheritance},
journal = {Formal Aspects Comput.},
volume = {3},
number = {2},
pages = {129--141},
year = {1991},
url = {https://doi.org/10.1007/BF01898400},
doi = {10.1007/BF01898400},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/Cusack91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/Hedberg91,
author = {Michael Hedberg},
title = {Normalising the Associative Law: An Experiment with Martin-L{\"{o}}f's
Type Theory},
journal = {Formal Aspects Comput.},
volume = {3},
number = {3},
pages = {218--252},
year = {1991},
url = {https://doi.org/10.1007/BF01245632},
doi = {10.1007/BF01245632},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/Hedberg91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/Hennessy91,
author = {Matthew Hennessy},
title = {A Proof Sustem for Communicating Processes with Value-Passing},
journal = {Formal Aspects Comput.},
volume = {3},
number = {4},
pages = {346--366},
year = {1991},
url = {https://doi.org/10.1007/BF01642508},
doi = {10.1007/BF01642508},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/Hennessy91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/Hennicker91,
author = {Rolf Hennicker},
title = {Context Induction: {A} Proof Principle for Behavioural Abstractions
and Algebraic Implementations},
journal = {Formal Aspects Comput.},
volume = {3},
number = {4},
pages = {326--345},
year = {1991},
url = {https://doi.org/10.1007/BF01642507},
doi = {10.1007/BF01642507},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/Hennicker91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/OweD91,
author = {Olaf Owe and
Ole{-}Johan Dahl},
title = {Generator Induction in Order Sorted Algebras},
journal = {Formal Aspects Comput.},
volume = {3},
number = {1},
pages = {2--20},
year = {1991},
url = {https://doi.org/10.1007/BF01211433},
doi = {10.1007/BF01211433},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/OweD91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/QinL91,
author = {Huajun Qin and
Philip Lewis},
title = {Factorisation of Finite State Machines under Strong and Observational
Equivalences},
journal = {Formal Aspects Comput.},
volume = {3},
number = {3},
pages = {284--307},
year = {1991},
url = {https://doi.org/10.1007/BF01245634},
doi = {10.1007/BF01245634},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/QinL91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/Sanders91,
author = {Beverly A. Sanders},
title = {Eliminating the Substitution Axiom from {UNITY} Logic},
journal = {Formal Aspects Comput.},
volume = {3},
number = {2},
pages = {189--205},
year = {1991},
url = {https://doi.org/10.1007/BF01898402},
doi = {10.1007/BF01898402},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/Sanders91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/StepneyWCG91,
author = {Susan Stepney and
Dave Whitely and
David Cooper and
Colin Grant},
title = {A Demonstrably Correct Compiler},
journal = {Formal Aspects Comput.},
volume = {3},
number = {1},
pages = {58--101},
year = {1991},
url = {https://doi.org/10.1007/BF01211435},
doi = {10.1007/BF01211435},
timestamp = {Sun, 22 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/StepneyWCG91.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-26 01:41 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:
