Join-calculus

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

카테고리: