| THE COMPOSABILITY PROBLEM OF THESEMANTICS OFXYZ/BE-COMMUNICATING PROCESSES |
| |
| 作者姓名： | LI Guangyuan TANG Zhisong |
| |
| 作者单位： | Laboratory for Computer Science，Institute of Software，Academia Sinica，Beijing 100080 China |
| |
| 摘 要： | 1.Introduction"Awell-knownproblemfortheverificationandtheconstructionofconcurrentprogramsisthatspecificationthatwouldbesatisfiedbyagivenprocessviewedinisolationmightbeinvalidatedbyactionsperformedbyotherprocessesexecutinginparallel"lll."Arigorousmodularspecificationmethodrequiresaproofruleassertingthatifeachcomponentbehavescorrectlyinisolation,thenitbehavescorrectlyinconcertwithothercomponents"2].Thecomposabilityproblemwhetheraparpllelcompositionprocesscontinuestohavethepropertiesofitscompone…
|
THE COMPOSABILITY PROBLEM OF THE SEMANTICS OF XYZ/BE-COMMUNICATING PROCESSES |
| |
| LI Guangyuan,TANG Zhisong.THE COMPOSABILITY PROBLEM OF THESEMANTICS OFXYZ/BE-COMMUNICATING PROCESSES[J].Journal of Systems Science and Complexity,1999(Z1). |
| |
| Authors: | LI Guangyuan TANG Zhisong |
| |
| Abstract: | Composability is vital to the specification and verification of concurrent systems. This paper is devoted to the composability of XYZ / BE- communicating processes.We show that parallel composition processes preserve all of their components' safety properties. In addition, some properties of trace equivalence are also exmined. |
| |
| Keywords: | Linear temporal logic formal semantics communicating process parallelcomposition trace equivalence |
| 本文献已被 CNKI 等数据库收录！ |
