(Q3183028)

English

Join-calculus

process calculus developed at INRIA for the design of distributed programming languages

Statements

Identifiers

 
edit
edit
    edit
      edit
        edit
          edit
            edit
              edit
                edit