ComputingComputer ScienceComputer SystemsDistributed SystemsFormal MethodsConcurrency AnalysisConcurrency ControlConcurrent ProgrammingData SynchronizationData-flow AnalysisQuery ProcessingConcurrent Semantics
Typeset in Palatino by TEXandLATEX2ε. Except where otherwise indicated, this thesis is my own original work.
27
Bertrand Meyer · Computer · 1992 · 2.1K citations
Computing, Computer Science, Design +15
Information and Software Technology · 1992 · 994 citations
Laxmikant V. Kalé, Sanjeev Krishnan · 1993 · 848 citations
Computing, Computer Science, Building Information Modeling +4
Principles of concurrent and distributed programming
Choice Reviews Online · 1991 · 372 citations