3 research outputs found
Unsolved Problems in Group Theory. The Kourovka Notebook
This is a collection of open problems in group theory proposed by hundreds of
mathematicians from all over the world. It has been published every 2-4 years
in Novosibirsk since 1965. This is the 19th edition, which contains 111 new
problems and a number of comments on about 1000 problems from the previous
editions.Comment: A few new solutions and references have been added or update
Automata and Logics for Concurrent Systems: Realizability and Verification
Automata are a popular tool to make computer systems accessible to formal methods. While classical finite automata are suitable to model sequential boolean programs, models of concurrent systems involve several interacting processes and extend finite-state machines in various respects. This habilitation thesis surveys several such extensions, including pushdown automata with multiple stacks, communicating automata with fixed, parameterized, or dynamic communication topology, and automata running on words over infinite alphabets. We focus on two major questions of classical automata theory, namely realizability (asking whether a specification has an automata counterpart) and model checking (asking whether a given automaton satisfies its specification)