Uniform confluence in concurrent computation
Journal of Functional Programming
A closer look at constraints as processes
Information Processing Letters
A closer look at constraints as processes
Information Processing Letters
CC-Pi: a constraint-based language for specifying service level agreements
ESOP'07 Proceedings of the 16th European conference on Programming
From the π-calculus to flat GHC
Proceedings of the 14th symposium on Principles and practice of declarative programming
Hi-index | 0.00 |