Language:
Free Online Dictionary|3Dict

idealized csp

Source : Free On-Line Dictionary of Computing

Idealized CSP
     
         A programming language combining simply typed,
        {call-by-name} {procedures} with {asynchronous} communicating
        processes, assuming fair parallel execution.  Idealized CSP
        generalises {Anthony Hoare}'s original {CSP} and Kahn's
        networks of {deterministic} processes, and is closely related
        to {Parallel Algol} by Stephen Brookes of {CMU}.
     
        Procedures permit the encapsulation of common {protocols} and
        parallel programming idioms.  {Local variables} and local
        channel declarations provide a way to delimit the scope of
        interference between parallel agents, and allow a form of
        concurrent {object-oriented programming}.
     
        [Was this language also designed by Brookes?]
     
        (1997-09-26)
Sort by alphabet : A B C D E F G H I J K L M N O P Q R S T U V W X Y Z