79 citations · 222 across the 14 of their papers we have counts for
1 paper · 1 filter
Paweł Sobociński
We introduce the wire calculus. Its dynamic features are inspired by Milner's CCS: a unary prefix operation, binary choice and a standard recursion construct. Instead of an interle…