Search dblp for Publications

export results for "toc:db/journals/fac/fac2.bht:"

 download as .bib file

@article{DBLP:journals/fac/Ah-kee90,
  author       = {Alain Ah{-}kee},
  title        = {Proof Obligations for Blocks and Procedures},
  journal      = {Formal Aspects Comput.},
  volume       = {2},
  number       = {4},
  pages        = {312--330},
  year         = {1990},
  url          = {https://doi.org/10.1007/BF01888232},
  doi          = {10.1007/BF01888232},
  timestamp    = {Mon, 09 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/Ah-kee90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fac/BackW90,
  author       = {Ralph{-}Johan Back and
                  Joakim von Wright},
  title        = {Refinement Concepts Formalised in Higher Order Logic},
  journal      = {Formal Aspects Comput.},
  volume       = {2},
  number       = {3},
  pages        = {247--272},
  year         = {1990},
  url          = {https://doi.org/10.1007/BF01888227},
  doi          = {10.1007/BF01888227},
  timestamp    = {Mon, 09 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/BackW90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fac/BestD90,
  author       = {Eike Best and
                  J{\"{o}}rg Desel},
  title        = {Partial Order Behaviour and Structure of Petri Nets},
  journal      = {Formal Aspects Comput.},
  volume       = {2},
  number       = {2},
  pages        = {123--138},
  year         = {1990},
  url          = {https://doi.org/10.1007/BF01888220},
  doi          = {10.1007/BF01888220},
  timestamp    = {Mon, 09 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/BestD90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fac/CarmoS90,
  author       = {Jos{\'{e}} Carmo and
                  Am{\'{\i}}lcar Sernadas},
  title        = {Branching versus Linear Logics Yet Again},
  journal      = {Formal Aspects Comput.},
  volume       = {2},
  number       = {1},
  pages        = {24--59},
  year         = {1990},
  url          = {https://doi.org/10.1007/BF01888216},
  doi          = {10.1007/BF01888216},
  timestamp    = {Mon, 09 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/CarmoS90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fac/Chapman90,
  author       = {Nigel P. Chapman},
  title        = {Defining, Analysing and Implementing Communication Protocols Using
                  Attribute Grammars},
  journal      = {Formal Aspects Comput.},
  volume       = {2},
  number       = {4},
  pages        = {359--392},
  year         = {1990},
  url          = {https://doi.org/10.1007/BF01888235},
  doi          = {10.1007/BF01888235},
  timestamp    = {Sun, 01 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/Chapman90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fac/HeL90,
  author       = {Xudong He and
                  John A. N. Lee},
  title        = {Integrating Predicate Transition Nets with First Order Temporal Logic
                  in the Specification and Verification of Concurrent Systems},
  journal      = {Formal Aspects Comput.},
  volume       = {2},
  number       = {3},
  pages        = {226--246},
  year         = {1990},
  url          = {https://doi.org/10.1007/BF01888226},
  doi          = {10.1007/BF01888226},
  timestamp    = {Mon, 09 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/HeL90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fac/Hermann90,
  author       = {Miki Hermann},
  title        = {Chain Properties of Rule Closures},
  journal      = {Formal Aspects Comput.},
  volume       = {2},
  number       = {3},
  pages        = {207--225},
  year         = {1990},
  url          = {https://doi.org/10.1007/BF01888225},
  doi          = {10.1007/BF01888225},
  timestamp    = {Mon, 09 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/Hermann90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fac/Hesselink90,
  author       = {Wim H. Hesselink},
  title        = {Command Algebras, Recursion and Program Transformation},
  journal      = {Formal Aspects Comput.},
  volume       = {2},
  number       = {1},
  pages        = {60--104},
  year         = {1990},
  url          = {https://doi.org/10.1007/BF01888217},
  doi          = {10.1007/BF01888217},
  timestamp    = {Mon, 09 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/Hesselink90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fac/Hesselink90a,
  author       = {Wim H. Hesselink},
  title        = {Axioms and Models of Linear Logic},
  journal      = {Formal Aspects Comput.},
  volume       = {2},
  number       = {2},
  pages        = {139--166},
  year         = {1990},
  url          = {https://doi.org/10.1007/BF01888221},
  doi          = {10.1007/BF01888221},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/Hesselink90a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fac/LengauerS90,
  author       = {Christian Lengauer and
                  Jeff W. Sanders},
  title        = {The Projection of Systolic Programs},
  journal      = {Formal Aspects Comput.},
  volume       = {2},
  number       = {3},
  pages        = {273--293},
  year         = {1990},
  url          = {https://doi.org/10.1007/BF01888228},
  doi          = {10.1007/BF01888228},
  timestamp    = {Mon, 09 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/LengauerS90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fac/LinP90,
  author       = {Huimin Lin and
                  Man{-}Chi Pong},
  title        = {Modelling Multiple Inheritance with Colimits},
  journal      = {Formal Aspects Comput.},
  volume       = {2},
  number       = {4},
  pages        = {301--311},
  year         = {1990},
  url          = {https://doi.org/10.1007/BF01888231},
  doi          = {10.1007/BF01888231},
  timestamp    = {Mon, 09 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/LinP90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fac/Misra90,
  author       = {Jayadev Misra},
  title        = {Equational Reasoning About Nondeterministic Processes},
  journal      = {Formal Aspects Comput.},
  volume       = {2},
  number       = {2},
  pages        = {167--195},
  year         = {1990},
  url          = {https://doi.org/10.1007/BF01888222},
  doi          = {10.1007/BF01888222},
  timestamp    = {Mon, 09 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/Misra90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fac/Oliveira90,
  author       = {Jos{\'{e}} Nuno Oliveira},
  title        = {A Reification Calculus for Model-Oriented Software Specification},
  journal      = {Formal Aspects Comput.},
  volume       = {2},
  number       = {1},
  pages        = {1--23},
  year         = {1990},
  url          = {https://doi.org/10.1007/BF01888215},
  doi          = {10.1007/BF01888215},
  timestamp    = {Mon, 09 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/Oliveira90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fac/PartschS90,
  author       = {Helmuth Partsch and
                  Frank A. Stomp},
  title        = {A Fast Pattern Matching Algorithm Derived by Transformational and
                  Assertional Reasoning},
  journal      = {Formal Aspects Comput.},
  volume       = {2},
  number       = {2},
  pages        = {109--122},
  year         = {1990},
  url          = {https://doi.org/10.1007/BF01888219},
  doi          = {10.1007/BF01888219},
  timestamp    = {Mon, 09 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/PartschS90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fac/SoparkarS90,
  author       = {Nandit Soparkar and
                  Abraham Silberschatz},
  title        = {On the Interconnection Constants of Hopfield Nets},
  journal      = {Formal Aspects Comput.},
  volume       = {2},
  number       = {4},
  pages        = {342--358},
  year         = {1990},
  url          = {https://doi.org/10.1007/BF01888234},
  doi          = {10.1007/BF01888234},
  timestamp    = {Mon, 09 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/SoparkarS90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fac/Stannett90,
  author       = {Mike Stannett},
  title        = {X-Machines and the Halting Problem: Building a Super-Turing Machine},
  journal      = {Formal Aspects Comput.},
  volume       = {2},
  number       = {4},
  pages        = {331--341},
  year         = {1990},
  url          = {https://doi.org/10.1007/BF01888233},
  doi          = {10.1007/BF01888233},
  timestamp    = {Mon, 09 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/Stannett90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.