This article is within the scope of WikiProject Biography, a collaborative effort to create, develop and organize Wikipedia's articles about people. All interested editors are invited to
join the project and
contribute to the discussion. For instructions on how to use this banner, please refer to the
documentation.BiographyWikipedia:WikiProject BiographyTemplate:WikiProject Biographybiography articles
This article is within the scope of WikiProject Switzerland, a collaborative effort to improve the coverage of
Switzerland on Wikipedia. If you would like to participate, please visit the project page, where you can join
the discussion and see a list of open tasks.SwitzerlandWikipedia:WikiProject SwitzerlandTemplate:WikiProject SwitzerlandSwitzerland articles
This article is within the scope of WikiProject Computer science, a collaborative effort to improve the coverage of
Computer science related articles on Wikipedia. If you would like to participate, please visit the project page, where you can join
the discussion and see a list of open tasks.Computer scienceWikipedia:WikiProject Computer scienceTemplate:WikiProject Computer scienceComputer science articles
This article is within the scope of WikiProject Mathematics, a collaborative effort to improve the coverage of
mathematics on Wikipedia. If you would like to participate, please visit the project page, where you can join
the discussion and see a list of open tasks.MathematicsWikipedia:WikiProject MathematicsTemplate:WikiProject Mathematicsmathematics articles
This should be classified as a stub. (I'm at work so I can't spend the time to recall that simple annotation). Buchi is more notable than the few lines in the article would suggest. For starters, he has a geneology from the Math Genealogy Project. I know of his work through
reactive systems for which he might rightfully be considered the founder of, since he may have been the first to give an automata-theoretic characterization of this class of systems (although I don't think he actually coined the term "reactive systems"). The relation between Buchi Automata and both
model checking and
temporal logic, most notably through the works of
Zohar Manna,
Amir Pnueli,
Pierre Wolper, and
Moshe Vardi should also be noted. Finally, a Wikipedia article on
reactive systems needs to be written, but look first for synonyms for such a system and include the appropriate redirects. Informally, a reactive system involves a weaker (more inclusive) notion than that for an
algorithm in that, unlike algorithms, reactive systems are not designed to terminate, and if they do, then something is wrong.
Vonkje (
talk) 18:04, 11 June 2008 (UTC)reply
This article is within the scope of WikiProject Biography, a collaborative effort to create, develop and organize Wikipedia's articles about people. All interested editors are invited to
join the project and
contribute to the discussion. For instructions on how to use this banner, please refer to the
documentation.BiographyWikipedia:WikiProject BiographyTemplate:WikiProject Biographybiography articles
This article is within the scope of WikiProject Switzerland, a collaborative effort to improve the coverage of
Switzerland on Wikipedia. If you would like to participate, please visit the project page, where you can join
the discussion and see a list of open tasks.SwitzerlandWikipedia:WikiProject SwitzerlandTemplate:WikiProject SwitzerlandSwitzerland articles
This article is within the scope of WikiProject Computer science, a collaborative effort to improve the coverage of
Computer science related articles on Wikipedia. If you would like to participate, please visit the project page, where you can join
the discussion and see a list of open tasks.Computer scienceWikipedia:WikiProject Computer scienceTemplate:WikiProject Computer scienceComputer science articles
This article is within the scope of WikiProject Mathematics, a collaborative effort to improve the coverage of
mathematics on Wikipedia. If you would like to participate, please visit the project page, where you can join
the discussion and see a list of open tasks.MathematicsWikipedia:WikiProject MathematicsTemplate:WikiProject Mathematicsmathematics articles
This should be classified as a stub. (I'm at work so I can't spend the time to recall that simple annotation). Buchi is more notable than the few lines in the article would suggest. For starters, he has a geneology from the Math Genealogy Project. I know of his work through
reactive systems for which he might rightfully be considered the founder of, since he may have been the first to give an automata-theoretic characterization of this class of systems (although I don't think he actually coined the term "reactive systems"). The relation between Buchi Automata and both
model checking and
temporal logic, most notably through the works of
Zohar Manna,
Amir Pnueli,
Pierre Wolper, and
Moshe Vardi should also be noted. Finally, a Wikipedia article on
reactive systems needs to be written, but look first for synonyms for such a system and include the appropriate redirects. Informally, a reactive system involves a weaker (more inclusive) notion than that for an
algorithm in that, unlike algorithms, reactive systems are not designed to terminate, and if they do, then something is wrong.
Vonkje (
talk) 18:04, 11 June 2008 (UTC)reply