Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/fac/America89,
  author       = {Pierre America},
  title        = {Issues in the Design of a Parallel Object-Oriented Language},
  journal      = {Formal Aspects Comput.},
  volume       = {1},
  number       = {4},
  pages        = {366--411},
  year         = {1989},
  url          = {https://doi.org/10.1007/BF01887214},
  doi          = {10.1007/BF01887214},
  timestamp    = {Mon, 09 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/America89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fac/BackhouseC89,
  author       = {Roland Carl Backhouse and
                  Paul Chisholm},
  title        = {Do-It-Yourself Type Theory},
  journal      = {Formal Aspects Comput.},
  volume       = {1},
  number       = {1},
  pages        = {19--84},
  year         = {1989},
  url          = {https://doi.org/10.1007/BF01887198},
  doi          = {10.1007/BF01887198},
  timestamp    = {Mon, 09 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/BackhouseC89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fac/BurtonCGRS89,
  author       = {C. T. Burton and
                  S. J. Cook and
                  S. Gikas and
                  J. R. Rowson and
                  S. T. Sommerville},
  title        = {Specifying the Apple Macintosh Toolbox Event Manager},
  journal      = {Formal Aspects Comput.},
  volume       = {1},
  number       = {2},
  pages        = {147--171},
  year         = {1989},
  url          = {https://doi.org/10.1007/BF01887203},
  doi          = {10.1007/BF01887203},
  timestamp    = {Mon, 09 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/BurtonCGRS89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fac/DybjerS89,
  author       = {Peter Dybjer and
                  Herbert P. Sander},
  title        = {A Functional Programming Approach to the Specification and Verification
                  of Concurrent Systems},
  journal      = {Formal Aspects Comput.},
  volume       = {1},
  number       = {4},
  pages        = {303--319},
  year         = {1989},
  url          = {https://doi.org/10.1007/BF01887211},
  doi          = {10.1007/BF01887211},
  timestamp    = {Mon, 09 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/DybjerS89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fac/He89,
  author       = {Jifeng He},
  title        = {Process Simulation and Refinement},
  journal      = {Formal Aspects Comput.},
  volume       = {1},
  number       = {3},
  pages        = {229--241},
  year         = {1989},
  url          = {https://doi.org/10.1007/BF01887207},
  doi          = {10.1007/BF01887207},
  timestamp    = {Mon, 09 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/He89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fac/Henson89,
  author       = {Martin C. Henson},
  title        = {Program Development in the Constructive Set Theory {TK}},
  journal      = {Formal Aspects Comput.},
  volume       = {1},
  number       = {2},
  pages        = {173--192},
  year         = {1989},
  url          = {https://doi.org/10.1007/BF01887204},
  doi          = {10.1007/BF01887204},
  timestamp    = {Mon, 09 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/Henson89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fac/Holmstrom89,
  author       = {S{\"{o}}ren Holmstr{\"{o}}m},
  title        = {A Refinement Calculus for Specifications in Hennessy-Milner Logic
                  with Recursion},
  journal      = {Formal Aspects Comput.},
  volume       = {1},
  number       = {3},
  pages        = {242--272},
  year         = {1989},
  url          = {https://doi.org/10.1007/BF01887208},
  doi          = {10.1007/BF01887208},
  timestamp    = {Mon, 09 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/Holmstrom89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fac/Huntbach89,
  author       = {Matthew M. Huntbach},
  title        = {Meta-interpreters and Partial Evaluation in Parlog},
  journal      = {Formal Aspects Comput.},
  volume       = {1},
  number       = {2},
  pages        = {193--211},
  year         = {1989},
  url          = {https://doi.org/10.1007/BF01887205},
  doi          = {10.1007/BF01887205},
  timestamp    = {Mon, 09 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/Huntbach89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fac/Kwiatkowska89,
  author       = {Marta Z. Kwiatkowska},
  title        = {Event Fairness and Non-interleaving Concurrency},
  journal      = {Formal Aspects Comput.},
  volume       = {1},
  number       = {3},
  pages        = {213--228},
  year         = {1989},
  url          = {https://doi.org/10.1007/BF01887206},
  doi          = {10.1007/BF01887206},
  timestamp    = {Mon, 09 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/Kwiatkowska89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fac/Middelburg89,
  author       = {Cornelis A. Middelburg},
  title        = {{VVSL:} {A} Language for Structured {VDM} Specifications},
  journal      = {Formal Aspects Comput.},
  volume       = {1},
  number       = {1},
  pages        = {115--135},
  year         = {1989},
  url          = {https://doi.org/10.1007/BF01887200},
  doi          = {10.1007/BF01887200},
  timestamp    = {Mon, 09 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/Middelburg89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fac/NielsenHWG89,
  author       = {Mogens Nielsen and
                  Klaus Havelund and
                  Kim Ritter Wagner and
                  Chris George},
  title        = {The {RAISE} Language, Method and Tools},
  journal      = {Formal Aspects Comput.},
  volume       = {1},
  number       = {1},
  pages        = {85--114},
  year         = {1989},
  url          = {https://doi.org/10.1007/BF01887199},
  doi          = {10.1007/BF01887199},
  timestamp    = {Mon, 09 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/NielsenHWG89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fac/Nipkow89,
  author       = {Tobias Nipkow},
  title        = {Term Rewriting and Beyond - Theorem Proving in Isabelle},
  journal      = {Formal Aspects Comput.},
  volume       = {1},
  number       = {4},
  pages        = {320--338},
  year         = {1989},
  url          = {https://doi.org/10.1007/BF01887212},
  doi          = {10.1007/BF01887212},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/Nipkow89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fac/Thomas89,
  author       = {Martyn Thomas},
  title        = {Development Methods for Trusted Computer Systems},
  journal      = {Formal Aspects Comput.},
  volume       = {1},
  number       = {1},
  pages        = {5--18},
  year         = {1989},
  url          = {https://doi.org/10.1007/BF01887197},
  doi          = {10.1007/BF01887197},
  timestamp    = {Mon, 09 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/Thomas89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fac/Thompson89,
  author       = {Simon J. Thompson},
  title        = {A Logic for Miranda},
  journal      = {Formal Aspects Comput.},
  volume       = {1},
  number       = {4},
  pages        = {339--365},
  year         = {1989},
  url          = {https://doi.org/10.1007/BF01887213},
  doi          = {10.1007/BF01887213},
  timestamp    = {Mon, 09 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/Thompson89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fac/Walker89,
  author       = {D. J. Walker},
  title        = {Automated Analysis of Mutual Exclusion Algorithms using {CCS}},
  journal      = {Formal Aspects Comput.},
  volume       = {1},
  number       = {3},
  pages        = {273--292},
  year         = {1989},
  url          = {https://doi.org/10.1007/BF01887209},
  doi          = {10.1007/BF01887209},
  timestamp    = {Mon, 09 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/Walker89.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.