|
|
计算机科学技术学报 1998
Calculi for concurrent processes
|
Abstract:
InmytalkIsurveyedsomeofthemainstreamresearchthathasbeendoneintheareaofprocesscalculiduringthelasttwentyyears-thoughfocusingonsomelastdevelopments,regardingespeciallymobilecomputing.IstartedwithabriefaccountofthepioneeringworkofMimerandhisco-workersonCCS,theCalculusofCommunicatingSystems.ThisbeguninthelateseventieswhenMimerrealizedthatScott'sdenotationalsemanticswasnotsofruitfulconcerningconcurrency.ApreliminarystepwastakenbyMilnerwithhisflowalgebra,consistingofasmallsetofoperationsandaxiom…
