Concurrent process calculi are powerful formalisms for modelling concurrent systems. The mathematical style underlying process calculi allow to both model and verify properties of...
— This paper presents an mathematical model that establishes the relation between the relevant cutting process parameters and surface quality, cutting forces and rate removal, in...