Information Processing Letters · 1996 · 26 citations · 3 references
ComputingComputer ScienceMathematicsFormal MethodsProgramming LanguagesFormal Language FoundationsFormal LanguagesMathematical LanguageModel TheoryComputational Complexity Of LanguagesFinite Automata TheoryFormal Language TheoryLanguage EquivalenceStructural Properties Of Languages
3
Bowen Alpern, Fred B. Schneider · Information Processing Letters · 1985 · 1K citations
The existence of refinement mappings
M. Abadi, Leslie Lamport · 2003 · 189 citations