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/fac6.bht:"
download as .bib file
@article{DBLP:journals/fac/Aceto94,
author = {Luca Aceto},
title = {A Static View of Localities},
journal = {Formal Aspects Comput.},
volume = {6},
number = {2},
pages = {201--222},
year = {1994},
url = {https://doi.org/10.1007/BF01221099},
doi = {10.1007/BF01221099},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/Aceto94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/AmericaB94,
author = {Pierre America and
Frank S. de Boer},
title = {Reasoning about Dynamically Evolving Process Structures},
journal = {Formal Aspects Comput.},
volume = {6},
number = {3},
pages = {269--316},
year = {1994},
url = {https://doi.org/10.1007/BF01215408},
doi = {10.1007/BF01215408},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/AmericaB94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/Antoniou94,
author = {Grigoris Antoniou},
title = {The Verification of Modules},
journal = {Formal Aspects Comput.},
volume = {6},
number = {2},
pages = {223--244},
year = {1994},
url = {https://doi.org/10.1007/BF01221100},
doi = {10.1007/BF01221100},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/Antoniou94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/AptM94,
author = {Krzysztof R. Apt and
Elena Marchiori},
title = {Reasoning About Prolog Programs: From Modes Through Types to Assertions},
journal = {Formal Aspects Comput.},
volume = {6},
number = {6A},
pages = {743--765},
year = {1994},
url = {https://doi.org/10.1007/BF01213601},
doi = {10.1007/BF01213601},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/AptM94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/AvronS94,
author = {Arnon Avron and
Nada Sasson},
title = {Stability, Sequentiality and Demand Driven Evaluation in Dataflow},
journal = {Formal Aspects Comput.},
volume = {6},
number = {6},
pages = {620--642},
year = {1994},
url = {https://doi.org/10.1007/BF03259389},
doi = {10.1007/BF03259389},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/AvronS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/BaetenB94,
author = {Jos C. M. Baeten and
Jan A. Bergstra},
title = {On Sequential Compoisiton, Action Prefixes and Process Prefixes},
journal = {Formal Aspects Comput.},
volume = {6},
number = {3},
pages = {250--268},
year = {1994},
url = {https://doi.org/10.1007/BF01215407},
doi = {10.1007/BF01215407},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/BaetenB94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/Bloom94,
author = {Bard Bloom},
title = {When is Partial Trace Equivalence Adequate?},
journal = {Formal Aspects Comput.},
volume = {6},
number = {3},
pages = {317--338},
year = {1994},
url = {https://doi.org/10.1007/BF01215409},
doi = {10.1007/BF01215409},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/Bloom94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/BosangueK94,
author = {Marcello M. Bonsangue and
Joost N. Kok},
title = {The Weakest Precondition Calculus: Recursion and Duality},
journal = {Formal Aspects Comput.},
volume = {6},
number = {6A},
pages = {788--800},
year = {1994},
url = {https://doi.org/10.1007/BF01213603},
doi = {10.1007/BF01213603},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/BosangueK94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/BoudolCHK94,
author = {G{\'{e}}rard Boudol and
Ilaria Castellani and
Matthew Hennessy and
Astrid Kiehn},
title = {A Theory of Processes with Localities},
journal = {Formal Aspects Comput.},
volume = {6},
number = {2},
pages = {165--200},
year = {1994},
url = {https://doi.org/10.1007/BF01221098},
doi = {10.1007/BF01221098},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/BoudolCHK94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/BrinkBS94,
author = {Chris Brink and
Katarina Britz and
Renate A. Schmidt},
title = {Peirce Algebras},
journal = {Formal Aspects Comput.},
volume = {6},
number = {3},
pages = {339--358},
year = {1994},
url = {https://doi.org/10.1007/BF01215410},
doi = {10.1007/BF01215410},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/BrinkBS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/BrunsA94,
author = {Glenn Bruns and
Stuart Anderson},
title = {The Formalization and Analysis of a Communications Protocol},
journal = {Formal Aspects Comput.},
volume = {6},
number = {1},
pages = {92--112},
year = {1994},
url = {https://doi.org/10.1007/BF01211082},
doi = {10.1007/BF01211082},
timestamp = {Sun, 06 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/BrunsA94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/Chandy94,
author = {K. Mani Chandy},
title = {Properties of Concurrent Programs},
journal = {Formal Aspects Comput.},
volume = {6},
number = {6},
pages = {607--619},
year = {1994},
url = {https://doi.org/10.1007/BF03259388},
doi = {10.1007/BF03259388},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/Chandy94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/Dybjer94,
author = {Peter Dybjer},
title = {Inductive Families},
journal = {Formal Aspects Comput.},
volume = {6},
number = {4},
pages = {440--465},
year = {1994},
url = {https://doi.org/10.1007/BF01211308},
doi = {10.1007/BF01211308},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/Dybjer94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/Eijck94,
author = {Jan van Eijck},
title = {Presupposition Failure-A Comedy of Errors},
journal = {Formal Aspects Comput.},
volume = {6},
number = {6A},
pages = {766--787},
year = {1994},
url = {https://doi.org/10.1007/BF01213602},
doi = {10.1007/BF01213602},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/Eijck94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/GrooteP94,
author = {Jan Friso Groote and
Alban Ponse},
title = {Process Algebra with Guards: Combining Hoare Logic with Process Algebra},
journal = {Formal Aspects Comput.},
volume = {6},
number = {2},
pages = {115--164},
year = {1994},
url = {https://doi.org/10.1007/BF01221097},
doi = {10.1007/BF01221097},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/GrooteP94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/Hansen94,
author = {Michael R. Hansen},
title = {Model-Checking Discrete Duration Calculus},
journal = {Formal Aspects Comput.},
volume = {6},
number = {6A},
pages = {826--845},
year = {1994},
url = {https://doi.org/10.1007/BF01213605},
doi = {10.1007/BF01213605},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/Hansen94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/HanssonJ94,
author = {Hans Hansson and
Bengt Jonsson},
title = {A Logic for Reasoning about Time and Reliability},
journal = {Formal Aspects Comput.},
volume = {6},
number = {5},
pages = {512--535},
year = {1994},
url = {https://doi.org/10.1007/BF01211866},
doi = {10.1007/BF01211866},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/HanssonJ94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/Hooman94,
author = {Jozef Hooman},
title = {Extending Hoare Logic to Real-Time},
journal = {Formal Aspects Comput.},
volume = {6},
number = {6A},
pages = {801--826},
year = {1994},
url = {https://doi.org/10.1007/BF01213604},
doi = {10.1007/BF01213604},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/Hooman94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/HoustonJ94,
author = {Iain S. C. Houston and
Mark B. Josephs},
title = {Specifying Distributed {CICS} in {Z:} Accessing Local and Remote Resources
(Short Communication)},
journal = {Formal Aspects Comput.},
volume = {6},
number = {5},
pages = {569--579},
year = {1994},
url = {https://doi.org/10.1007/BF01211869},
doi = {10.1007/BF01211869},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/HoustonJ94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/InverardiPY94,
author = {Paola Inverardi and
Corrado Priami and
Daniel Yankelevich},
title = {Automatizing Parametric Reasoning on Distributed Concurrent Systems},
journal = {Formal Aspects Comput.},
volume = {6},
number = {6},
pages = {676--695},
year = {1994},
url = {https://doi.org/10.1007/BF03259392},
doi = {10.1007/BF03259392},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/InverardiPY94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/JifengB94,
author = {Jifeng He and
Jonathan P. Bowen},
title = {Specification, Verification and Prototyping of an Optimized Compiler},
journal = {Formal Aspects Comput.},
volume = {6},
number = {6},
pages = {643--658},
year = {1994},
url = {https://doi.org/10.1007/BF03259390},
doi = {10.1007/BF03259390},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/JifengB94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/Lamport94,
author = {Leslie Lamport},
title = {How to Write a Long Formula (Short Communication)},
journal = {Formal Aspects Comput.},
volume = {6},
number = {5},
pages = {580--584},
year = {1994},
url = {https://doi.org/10.1007/BF01211870},
doi = {10.1007/BF01211870},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/Lamport94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/Larsen94,
author = {Peter Gorm Larsen},
title = {Repsonse to "The Formal Specification of Safety Requirements for Storing
Explosives" (Short Communication)},
journal = {Formal Aspects Comput.},
volume = {6},
number = {5},
pages = {565--568},
year = {1994},
url = {https://doi.org/10.1007/BF01211868},
doi = {10.1007/BF01211868},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/Larsen94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/LarsenPT94,
author = {Peter Gorm Larsen and
Nico Plat and
Hans Toetenel},
title = {A Formal Semantics of Data Flow Diagrams},
journal = {Formal Aspects Comput.},
volume = {6},
number = {6},
pages = {586--606},
year = {1994},
url = {https://doi.org/10.1007/BF03259387},
doi = {10.1007/BF03259387},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/LarsenPT94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/LieberherrHX94,
author = {Karl J. Lieberherr and
Walter L. H{\"{u}}rsch and
Cun Xiao},
title = {Object-Extending Class Transformations},
journal = {Formal Aspects Comput.},
volume = {6},
number = {4},
pages = {391--416},
year = {1994},
url = {https://doi.org/10.1007/BF01211306},
doi = {10.1007/BF01211306},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/LieberherrHX94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/Minamide94,
author = {Yasuhiko Minamide},
title = {Sharing Analysis Based on Type Interface},
journal = {Formal Aspects Comput.},
volume = {6},
number = {6},
pages = {659--675},
year = {1994},
url = {https://doi.org/10.1007/BF03259391},
doi = {10.1007/BF03259391},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/Minamide94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/Moore94,
author = {J Strother Moore},
title = {A Formal Model of Asynchronous Communication and its Use in Mechanically
Verifying a Biphase Mark Protocol},
journal = {Formal Aspects Comput.},
volume = {6},
number = {1},
pages = {60--91},
year = {1994},
url = {https://doi.org/10.1007/BF01211081},
doi = {10.1007/BF01211081},
timestamp = {Mon, 19 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/Moore94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/Nickolas94,
author = {Peter Nickolas},
title = {The Completeness of Functional Logic},
journal = {Formal Aspects Comput.},
volume = {6},
number = {1},
pages = {39--59},
year = {1994},
url = {https://doi.org/10.1007/BF01211080},
doi = {10.1007/BF01211080},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/Nickolas94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/PittB94,
author = {David H. Pitt and
Paddy Byers},
title = {The Rest Says Unchanged (Concurrency and State-Based Specification)},
journal = {Formal Aspects Comput.},
volume = {6},
number = {5},
pages = {471--494},
year = {1994},
url = {https://doi.org/10.1007/BF01211864},
doi = {10.1007/BF01211864},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/PittB94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/Prasetya94,
author = {I. S. W. B. Prasetya},
title = {Error in the {UNITY} Rule for Subscripted Operators (Short Communication)},
journal = {Formal Aspects Comput.},
volume = {6},
number = {4},
pages = {466--470},
year = {1994},
url = {https://doi.org/10.1007/BF01211309},
doi = {10.1007/BF01211309},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/Prasetya94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/Russinoff94,
author = {David M. Russinoff},
title = {A Mechanically Verified Incremental Garbage Collector},
journal = {Formal Aspects Comput.},
volume = {6},
number = {4},
pages = {359--390},
year = {1994},
url = {https://doi.org/10.1007/BF01211305},
doi = {10.1007/BF01211305},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/Russinoff94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/Sistla94,
author = {A. Prasad Sistla},
title = {Safety, Liveness and Fairness in Temporal Logic},
journal = {Formal Aspects Comput.},
volume = {6},
number = {5},
pages = {495--512},
year = {1994},
url = {https://doi.org/10.1007/BF01211865},
doi = {10.1007/BF01211865},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/Sistla94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/Stannett94,
author = {Mike Stannett},
title = {Infinite Concurrent Systems-I. The Relationship between Metric and
Order Convergence},
journal = {Formal Aspects Comput.},
volume = {6},
number = {6},
pages = {696--715},
year = {1994},
url = {https://doi.org/10.1007/BF03259393},
doi = {10.1007/BF03259393},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/Stannett94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/StaplesRH94,
author = {John Staples and
Peter J. Robinson and
Daniel Hazel},
title = {A Functional Logic for Higher Level Reasoning About Computation},
journal = {Formal Aspects Comput.},
volume = {6},
number = {1},
pages = {1--38},
year = {1994},
url = {https://doi.org/10.1007/BF01211079},
doi = {10.1007/BF01211079},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/StaplesRH94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/StompR94,
author = {Frank A. Stomp and
Willem P. de Roever},
title = {A Principle for Sequential Reasoning about Distributed Algorithms},
journal = {Formal Aspects Comput.},
volume = {6},
number = {6},
pages = {716--737},
year = {1994},
url = {https://doi.org/10.1007/BF03259394},
doi = {10.1007/BF03259394},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/StompR94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/Tofts94,
author = {Chris M. N. Tofts},
title = {Processes with Probablities, Priority and Time},
journal = {Formal Aspects Comput.},
volume = {6},
number = {5},
pages = {536--564},
year = {1994},
url = {https://doi.org/10.1007/BF01211867},
doi = {10.1007/BF01211867},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/Tofts94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/WrayS94,
author = {Johnston Paul Wray and
A. Stewart},
title = {Correct Translation of Data Parallel Assignment onto Array Processors},
journal = {Formal Aspects Comput.},
volume = {6},
number = {4},
pages = {417--439},
year = {1994},
url = {https://doi.org/10.1007/BF01211307},
doi = {10.1007/BF01211307},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/WrayS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/BaetenB93,
author = {Jos C. M. Baeten and
Jan A. Bergstra},
title = {Real space process algebra},
journal = {Formal Aspects Comput.},
volume = {5},
number = {6},
pages = {481--529},
year = {1993},
url = {https://doi.org/10.1007/BF01211247},
doi = {10.1007/BF01211247},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/BaetenB93.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-07-15 23:40 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:
