Abstract | ||
---|---|---|
this paper, we propose a specification scheme for concurrent objects that allows effective manipulations ofspecifications and admits nondeterministic, nonterminating and concurrent operations on objects. Our approachis to view a concurrent object as an asynchronous communicating process. Such a process can be specified bydescribing its initial state, how each communication---send or receive---alters the state, and the conditions underwhich a communication action is guaranteed to take place. ... |
Year | DOI | Venue |
---|---|---|
1990 | 10.1016/0167-6423(90)90019-A | Sci. Comput. Program. |
Keywords | Field | DocType |
concurrent object,asynchronous communication | Programming language,Concurrency,Computer science,Program Design Language | Journal |
Volume | Issue | ISSN |
14 | 2-3 | Science of Computer Programming |
Citations | PageRank | References |
7 | 0.74 | 3 |
Authors | ||
1 |
Name | Order | Citations | PageRank |
---|---|---|---|
Jayadev Misra | 1 | 3147 | 771.78 |