:facetid:toc:\"db/journals/fac/fac7.bht\"OK:facetid:toc:db/journals/fac/fac7.bhtHoward BarringerMichael Fisher 0001Dov M. GabbayGraham GoughRichard OwensMETATEM: An Introduction.Formal Aspects Comput.75533-5491995Journal Articlesopenjournals/fac/BarringerFGGO9510.1007/BF01211631https://doi.org/10.1007/BF01211631https://dblp.org/rec/journals/fac/BarringerFGGO95URL#6735609Michael J. ButlerCarroll MorganAction Systemes, Unbounded Nondeterminism, and Infinite Traces.Formal Aspects Comput.7137-531995Journal Articlesopenjournals/fac/ButlerM9510.1007/BF01214622https://doi.org/10.1007/BF01214622https://dblp.org/rec/journals/fac/ButlerM95URL#6735610J. CoenenHoare's Logic and VDM.Formal Aspects Comput.7191-1051995Journal Articlesopenjournals/fac/Coenen9510.1007/BF01214625https://doi.org/10.1007/BF01214625https://dblp.org/rec/journals/fac/Coenen95URL#6735611José Félix CostaAmílcar SernadasProgress Assumption in Concurrent Systems.Formal Aspects Comput.7118-361995Journal Articlesopenjournals/fac/CostaS9510.1007/BF01214621https://doi.org/10.1007/BF01214621https://dblp.org/rec/journals/fac/CostaS95URL#6735612Rutger M. DijkstraDUALITY: A Simple Formalism for the Analysis of UNITY.Formal Aspects Comput.74353-3881995Journal Articlesopenjournals/fac/Dijkstra9510.1007/BF01211214https://doi.org/10.1007/BF01211214https://dblp.org/rec/journals/fac/Dijkstra95URL#6735613Kai EngelhardtWillem P. de RoeverTowards a Practitioners' Approach to Abadi and Lamport's Method.Formal Aspects Comput.75550-5751995Journal Articlesopenjournals/fac/EngelhardtR9510.1007/BF01211632https://doi.org/10.1007/BF01211632https://dblp.org/rec/journals/fac/EngelhardtR95URL#6735614Sergei GorlatchChristian LengauerParallelisation of Divide-and-Conquer in the Bird-Meertens Formalism.Formal Aspects Comput.76663-6821995Journal Articlesopenjournals/fac/GorlatchL9510.1007/BF01211000https://doi.org/10.1007/BF01211000https://dblp.org/rec/journals/fac/GorlatchL95URL#6735615Ian J. HayesBrendan P. MahonyUsing Units of Measurement in Formal Specifications.Formal Aspects Comput.73329-3471995Journal Articlesopenjournals/fac/HayesM9510.1007/BF01211077https://doi.org/10.1007/BF01211077https://dblp.org/rec/journals/fac/HayesM95URL#6735616Ian J. HayesJeff W. SandersSpecification by Interface Separation.Formal Aspects Comput.74430-4391995Journal Articlesopenjournals/fac/HayesS9510.1007/BF01211217https://doi.org/10.1007/BF01211217https://dblp.org/rec/journals/fac/HayesS95URL#6735617Wim H. HesselinkSafety and Progress of Recursive Procedures.Formal Aspects Comput.74389-4111995Journal Articlesopenjournals/fac/Hesselink9510.1007/BF01211215https://doi.org/10.1007/BF01211215https://dblp.org/rec/journals/fac/Hesselink95URL#6735618Steve King 0001Carroll MorganExits in the Refinement Calculus.Formal Aspects Comput.7154-761995Journal Articlesopenjournals/fac/KingM9510.1007/BF01214623https://doi.org/10.1007/BF01214623https://dblp.org/rec/journals/fac/KingM95URL#6735619Naoki Kobayashi 0001Akinori YonezawaAsynchronous Communication Model Based on Linear Logic.Formal Aspects Comput.72113-1491995Journal Articlesopenjournals/fac/KobayashiY9510.1007/BF01211602https://doi.org/10.1007/BF01211602https://dblp.org/rec/journals/fac/KobayashiY95URL#6735620Peter B. LadkinStefan LeueInterpreting Message Flow Graphs.Formal Aspects Comput.75473-5091995Journal Articlesopenjournals/fac/LadkinL9510.1007/BF01211629https://doi.org/10.1007/BF01211629https://dblp.org/rec/journals/fac/LadkinL95URL#6735621K. Rustan M. LeinoA Method for Showing Progress.Formal Aspects Comput.75576-5801995Journal Articlesopenjournals/fac/Leino9510.1007/BF01211633https://doi.org/10.1007/BF01211633https://dblp.org/rec/journals/fac/Leino95URL#6735622Pierre LescanneTermination of Rewrite Systems by Elementary Interpretations.Formal Aspects Comput.7177-901995Journal Articlesopenjournals/fac/Lescanne9510.1007/BF01214624https://doi.org/10.1007/BF01214624https://dblp.org/rec/journals/fac/Lescanne95URL#6735623Lone Leth ThomsenBent ThomsenSome Facile Chemistry.Formal Aspects Comput.73314-3281995Journal Articlesopenjournals/fac/LethT9510.1007/BF01211076https://doi.org/10.1007/BF01211076https://dblp.org/rec/journals/fac/LethT95URL#6735624Zhiming Liu 0001Mathai JosephTomasz JanowskiVerification of Schedulability for Real-Time Programs.Formal Aspects Comput.75510-5321995Journal Articlesopenjournals/fac/LiuJJ9510.1007/BF01211630https://doi.org/10.1007/BF01211630https://dblp.org/rec/journals/fac/LiuJJ95URL#6735625Nancy A. LynchRoberto SegalaA Comparison of Simulation Techniques and Algebraic Tachniques for Verifying Concurrent Systems.Formal Aspects Comput.73231-2651995Journal Articlesopenjournals/fac/LynchS9510.1007/BF01211073https://doi.org/10.1007/BF01211073https://dblp.org/rec/journals/fac/LynchS95URL#6735626Rajit ManoharK. Rustan M. LeinoConditional Composition.Formal Aspects Comput.76683-7031995Journal Articlesopenjournals/fac/ManoharL9510.1007/BF01211001https://doi.org/10.1007/BF01211001https://dblp.org/rec/journals/fac/ManoharL95URL#6735627Ian MaungOn Simulation, Subtyping and Substitutability in Sequential Object Systems.Formal Aspects Comput.76620-6511995Journal Articlesopenjournals/fac/Maung9510.1007/BF01210998https://doi.org/10.1007/BF01210998https://dblp.org/rec/journals/fac/Maung95URL#6735628Paul MukherjeeVictoria StavridouA Theory pf Orwellian Specifications with NewThink.Formal Aspects Comput.76704-7271995Journal Articlesopenjournals/fac/MukherjeeS9510.1007/BF01211002https://doi.org/10.1007/BF01211002https://dblp.org/rec/journals/fac/MukherjeeS95URL#6735629David A. NaumannData Refinement, Call by Value and Higher Order Programs.Formal Aspects Comput.76651-6621995Journal Articlesopenjournals/fac/Naumann9510.1007/BF01210999https://doi.org/10.1007/BF01210999https://dblp.org/rec/journals/fac/Naumann95URL#6735630Philippe NoëlA Transformation-Based Synthesis of Temporal Specifications.Formal Aspects Comput.76587-6191995Journal Articlesopenjournals/fac/Noel9510.1007/BF01210997https://doi.org/10.1007/BF01210997https://dblp.org/rec/journals/fac/Noel95URL#6735631Ingrid RewitzkyChris BrinkPredicate Transformers as Power Operations.Formal Aspects Comput.72169-1821995Journal Articlesopenjournals/fac/RewitzkyB9510.1007/BF01211604https://doi.org/10.1007/BF01211604https://dblp.org/rec/journals/fac/RewitzkyB95URL#6735632Jane E. SinclairJim Woodcock 0001Event Refinement in State-Based Concurrent Systems.Formal Aspects Comput.73266-2881995Journal Articlesopenjournals/fac/SinclairW9510.1007/BF01211074https://doi.org/10.1007/BF01211074https://dblp.org/rec/journals/fac/SinclairW95URL#6735633Graeme Smith 0001A Fully Abstract Semantics of Classes for Object-Z.Formal Aspects Comput.73289-3131995Journal Articlesopenjournals/fac/Smith9510.1007/BF01211075https://doi.org/10.1007/BF01211075https://dblp.org/rec/journals/fac/Smith95URL#6735634Jan L. A. van de SnepscheutThe Sliding-Window Protocol Revisited.Formal Aspects Comput.713-171995Journal Articlesopenjournals/fac/Snepscheut9510.1007/BF01214620https://doi.org/10.1007/BF01214620https://dblp.org/rec/journals/fac/Snepscheut95URL#6735635J. Michael SpiveyUnification: A Case-Study in Data Refinement.Formal Aspects Comput.72150-1681995Journal Articlesopenjournals/fac/Spivey9510.1007/BF01211603https://doi.org/10.1007/BF01211603https://dblp.org/rec/journals/fac/Spivey95URL#6735636Simon J. ThompsonA Logic for Miranda, Revisited.Formal Aspects Comput.74412-4291995Journal Articlesopenjournals/fac/Thompson9510.1007/BF01211216https://doi.org/10.1007/BF01211216https://dblp.org/rec/journals/fac/Thompson95URL#6735637Bryan S. ToddRichard StamperA Formal Model of Explanation.Formal Aspects Comput.72207-2251995Journal Articlesopenjournals/fac/ToddS9510.1007/BF01211606https://doi.org/10.1007/BF01211606https://dblp.org/rec/journals/fac/ToddS95URL#6735638Sunil VaderaProof by Analogy in Mural.Formal Aspects Comput.72183-2061995Journal Articlesopenjournals/fac/Vadera9510.1007/BF01211605https://doi.org/10.1007/BF01211605https://dblp.org/rec/journals/fac/Vadera95URL#6735639Antti ValmariMartti TienariCompositional Failure-based Semantics Models for Basic LOTOS.Formal Aspects Comput.74440-4681995Journal Articlesopenjournals/fac/ValmariT9510.1007/BF01211218https://doi.org/10.1007/BF01211218https://dblp.org/rec/journals/fac/ValmariT95URL#6735640