Tra từ Contextually Communicating Sequential Processes - Từ điển Máy Tính

History Search

Từ điển Máy Tính - Foldoc Dictionary

contextually communicating sequential processes Contextually Communicating Sequential Processes (language) (CCSP) A notation based on CSP. ["Contextually Communicating Sequential Processes - A Software Engineering Approach", M. Hull et al, Software Prac & Exp 16(9):845-864, Sept 1986]. Last updated: 1994-11-01