``Path Expressions''

``Path Expressions'' - 1

Proposição: Campbell e Habermann[Campbell and Habermann, 1974]
Idéia: por um único comando, da forma path (path list) end , programar explicitamente todas as restrições na execução das operações do módulo;
Não existem outros meios de sincronização;
O uso é vantajoso quando a especificação natural de um módulo é feita em termos de histórias admissíveis de suas operações, e desvantajoso no caso contrário;
Linguagens: COSY, PATH PASCAL;
Operadores:

, concorrência

; sequenciamento

n:(<path list>) até n ativações da <path list>

[<path list>] número não limitado de ativações

`,`	concorrência
`;`	sequenciamento
`n:(<path list>)`	até n ativações da `<path list>`
`[<path list>]`	número não limitado de ativações