Acta Informatica · 1996 · 11 citations · 6 references
Programming Language TheorySyntaxEngineeringAutomated ReasoningGrammatical FormalismComputational LinguisticsRegulated RewritingFormal MethodsComputer ScienceGrammarSimple ExtensionsLanguage StudiesUnification GrammarRewriting SystemLinguistics
6
Leslie Lamport · Distributed Computing · 1986 · 843 citations
Concurrent reading while writing revisited
K. Vidyasankar · Distributed Computing · 1990 · 26 citations