Amy L Lansky

1955

• Specification and analysis of concurrency