並列に生起する事象間の同期を表現することが可能な、ソフトウェアの要求モデルはどれか。