(CCS) A mathematical model (a formal language) for describing processes, mostly used in the study of parallelism. A CCS program, written in behaviour expressions syntax denotes a process behaviour. Programs can be compared using the notion of observational equivalence. ["A Calculus of Communicating Systems", LNCS 92, Springer 1980]. ["Communication and Concurrency", R. Milner, P-H 1989]. (1994-11-29)

In addition suitable contents:
[ 2 ] [ = ] [ ag ] [ al ] [ am ] [ an ] [ ar ] [ arc ] [ at ] [ av ] [ b ] [ be ] [ bi ] [ bs ] [ C ] [ ca ] [ Calc ] [ cat ] [ CCS ] [ ch ] [ co ] [ com ] [ cr ] [ cu ] [ cy ] [ de ] [ du ] [ ed ] [ eh ] [ er ] [ es ] [ expression ] [ fi ] [ file ] [ fo ] [ for ] [ ge ] [ gr ] [ gu ] [ h ] [ hr ] [ id ] [ il ] [ in ] [ io ] [ is ] [ it ] [ la ] [ language ] [ lc ] [ Lex ] [ li ] [ lu ] [ ly ] [ M ] [ ma ] [ mm ] [ mo ] [ mod ] [ mode ] [ model ] [ module ] [ mp ] [ ms ] [ mu ] [ N ] [ na ] [ NC ] [ nc ] [ NCS ] [ ne ] [ ng ] [ ni ] [ no ] [ ns ] [ observational equivalence ] [ om ] [ pa ] [ parallelism ] [ ph ] [ pr ] [ process ] [ program ] [ query ] [ rc ] [ re ] [ ro ] [ S ] [ sc ] [ se ] [ si ] [ sm ] [ st ] [ sy ] [ syntax ] [ th ] [ tt ] [ ua ] [ us ] [ va ] [ vi ]