Constrained expression and the analysis of designs for dynamically-structured distributed systems.

Jack C. Wileden

Browse the full ICPP paper archive.