Specification and verification of concurrent systems software. Message passing using named mailboxes. Separately compilable units: routine (procedure, function, or process), type and constant definition, each with a list of access rights. ["Report on the Language Gypsy", A.L. Ambler et al, UT Austin ICSCS-CMP-1976-08-1].

In addition suitable contents:
[ = ] [ ag ] [ ai ] [ al ] [ am ] [ an ] [ ar ] [ arc ] [ as ] [ at ] [ b ] [ bo ] [ box ] [ C ] [ ca ] [ cat ] [ cc ] [ ch ] [ ci ] [ CM ] [ CMP ] [ co ] [ com ] [ con ] [ cons ] [ cu ] [ current ] [ de ] [ du ] [ ec ] [ ed ] [ edu ] [ er ] [ es ] [ et ] [ fi ] [ file ] [ function ] [ G ] [ ge ] [ gh ] [ gu ] [ h ] [ hr ] [ ht ] [ IC ] [ id ] [ il ] [ in ] [ io ] [ is ] [ it ] [ la ] [ lb ] [ Lex ] [ li ] [ list ] [ ly ] [ M ] [ ma ] [ mail ] [ mailbox ] [ mo ] [ mod ] [ module ] [ mp ] [ MP-1 ] [ ms ] [ na ] [ named ] [ nc ] [ ne ] [ ng ] [ ni ] [ ns ] [ om ] [ pa ] [ pe ] [ ph ] [ port ] [ pr ] [ procedure ] [ process ] [ query ] [ rc ] [ re ] [ ro ] [ routine ] [ S ] [ sa ] [ SC ] [ se ] [ si ] [ so ] [ software ] [ Spec ] [ st ] [ sy ] [ system ] [ T ] [ th ] [ tw ] [ type ] [ ua ] [ us ] [ ve ] [ verification ]