DuckCorp Dico

Found one definition

1.                 From The Free On-line Dictionary of Computing (19 January 2023):
                   
   
   
                   
                     
   Gypsy
      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].