Գրեք սա: Semantics of concurrent computation :