Login / Signup

LUCID: a specification language for distributed systems.

Janice I. GlasgowGlenn H. MacEwen
Published in: ACM SIGSOFT Softw. Eng. Notes (1985)
Keyphrases