Science of Computer Programming · 1988 · 111 citations · 0 references
ComputingComputer EngineeringComputer ScienceDistributed SystemsSystems ModelingTheory Of ComputationConcurrency ControlConcurrent ModelingDistributed AlgorithmsDistributed ComputingDistributed CoordinationDistributed SynchronizationActor ModelConcurrency ModelsConcurrent ComputationConcurrent Computing ModelsConcurrent System Modeling