Search Results - "Myers, Robert S.R."

Coalgebraic constructions of canonical nondeterministic automata by Myers, Robert S.R., Adámek, Jiří, Milius, Stefan, Urbat, Henning

“…For each regular language L we describe a family of canonical nondeterministic acceptors (nfas). Their construction follows a uniform recipe: build the minimal…”
Get full text

Varieties of Languages in a Category by Adamek, Jiri, Myers, Robert S. R., Urbat, Henning, Milius, Stefan

“…Eilenberg's variety theorem, a centerpiece of algebraic automata theory, establishes a bijective correspondence between varieties of languages and…”
Get full text

Hybrid logic with the difference modality for generalisations of graphs by Myers, Robert S.R., Pattinson, Dirk

“…We discuss recent work generalising the basic hybrid logic with the difference modality to any reasonable notion of transition. This applies equally to both…”
Get full text

On Continuous Nondeterminism and State Minimality by Adámek, Jiří, Myers, Robert S.R., Urbat, Henning, Milius, Stefan

“…This paper is devoted to the study of nondeterministic closure automata, that is, nondeterministic finite automata (nfas) equipped with a strict closure…”
Get full text

Rational Operational Models by Milius, Stefan, Bonsangue, Marcello M., Myers, Robert S.R., Rot, Jurriaan

“…GSOS is a specification format for well-behaved operations on transition systems. Aceto introduced a restriction of this format, called simple GSOS, which…”
Get full text