Information and Computation · 1992 · 1.7K citations · 1 references
EngineeringMathematicsMarkov Decision ProcessesQueuing TheoryStochastic ProcessesBrownian MotionDiffusion ProcessesMarkov ChainsMarkov ProcessesQueueing TheoryStochastic CalculusCommunicating Sequential ProcessesMarkov Diffusion ProcessesProcess Calculus
1
A calculus of mobile processes, I
Robin Milner, Joachim Parrow, David Walker · Information and Computation · 1992 · 2.8K citations · Full text