English Semi-deterministic Büchi automaton Cited by user Fschwarzentruber on 05 Dec 2019 In automata theory, a semi-deterministic Büchi automaton (also known as Büchi automaton deterministic in the limit, or limit-deterministic Büchi automaton) is a special…
English Bigraph Cited by user Drmseve on 24 Jan 2017 A bigraph (often used in the plural bigraphs) can be modelled as the superposition of a graph (the link graph) and a set of trees (the place graph).