Skip to content

A Coinductive Calculus for Asynchronous Side-Effecting Processes.

Sergey Goncharov, Lutz Schrder

VenueBFCT
Year2011
ProceedingsFCT

Browse the full FCT paper archive.