排序方式: 共有1条查询结果,搜索用时 0 毫秒
1
1.
1.Introduction"Awell-knownproblemfortheverificationandtheconstructionofconcurrentprogramsisthatspecificationthatwouldbesatisfiedbyagivenprocessviewedinisolationmightbeinvalidatedbyactionsperformedbyotherprocessesexecutinginparallel"lll."Arigorousmodularspecificationmethodrequiresaproofruleassertingthatifeachcomponentbehavescorrectlyinisolation,thenitbehavescorrectlyinconcertwithothercomponents"[2].Thecomposabilityproblemwhetheraparpllelcompositionprocesscontinuestohavethepropertiesofitscompone… 相似文献
1