79 citations · 222 across the 14 of their papers we have counts for
1 paper · 2 filters
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…