Matches in SemOpenAlex for { <https://semopenalex.org/work/W1569299328> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W1569299328 endingPage "367" @default.
- W1569299328 startingPage "352" @default.
- W1569299328 abstract "Object-orientation and distributed systems are a natural match. Objects correspond to processes in a distributed program; the invocation of a method of one object by another object corresponds naturally to a message being passed between the corresponding processes in the distributed program. Despite this close correspondence, progress in developing an 00 approach to concurrency has been limited. One important problem has been the so-called inheritance anomaly which is concerned with how and how easily synchronization constraints specified in a base class may be modified in a derived class. Our concern in the current paper is slightly different. We are interested in developing ways to abstractly specify these synchronization constraints, and ways to verify them. In other words we are interested in what these synchronization constraints do, and this is, of course, the critical question from the point of view of the users of these objects. We use the mechanism of acceptance sets in our specifications. We develop a proof method to verify that (base as well as derived) classes meet their specifications. We also consider the question of what kinds of modifications of synchronization constraints in the derived classes are easy for the clients of the class to deal with." @default.
- W1569299328 created "2016-06-24" @default.
- W1569299328 creator A5080388693 @default.
- W1569299328 date "1997-01-01" @default.
- W1569299328 modified "2023-10-14" @default.
- W1569299328 title "On the Specification, Inheritance, and Verification of Synchronization Constraints" @default.
- W1569299328 cites W1995008247 @default.
- W1569299328 cites W2030590001 @default.
- W1569299328 cites W2038952689 @default.
- W1569299328 doi "https://doi.org/10.1007/978-0-387-35261-9_24" @default.
- W1569299328 hasPublicationYear "1997" @default.
- W1569299328 type Work @default.
- W1569299328 sameAs 1569299328 @default.
- W1569299328 citedByCount "2" @default.
- W1569299328 countsByYear W15692993282012 @default.
- W1569299328 crossrefType "book-chapter" @default.
- W1569299328 hasAuthorship W1569299328A5080388693 @default.
- W1569299328 hasBestOaLocation W15692993281 @default.
- W1569299328 hasConcept C104317684 @default.
- W1569299328 hasConcept C120314980 @default.
- W1569299328 hasConcept C127162648 @default.
- W1569299328 hasConcept C134306372 @default.
- W1569299328 hasConcept C144024400 @default.
- W1569299328 hasConcept C154945302 @default.
- W1569299328 hasConcept C185592680 @default.
- W1569299328 hasConcept C19165224 @default.
- W1569299328 hasConcept C193702766 @default.
- W1569299328 hasConcept C199360897 @default.
- W1569299328 hasConcept C200568363 @default.
- W1569299328 hasConcept C2776527387 @default.
- W1569299328 hasConcept C2777212361 @default.
- W1569299328 hasConcept C2778562939 @default.
- W1569299328 hasConcept C2780902518 @default.
- W1569299328 hasConcept C2781238097 @default.
- W1569299328 hasConcept C31258907 @default.
- W1569299328 hasConcept C33923547 @default.
- W1569299328 hasConcept C41008148 @default.
- W1569299328 hasConcept C42058472 @default.
- W1569299328 hasConcept C55493867 @default.
- W1569299328 hasConcept C73752529 @default.
- W1569299328 hasConcept C80444323 @default.
- W1569299328 hasConceptScore W1569299328C104317684 @default.
- W1569299328 hasConceptScore W1569299328C120314980 @default.
- W1569299328 hasConceptScore W1569299328C127162648 @default.
- W1569299328 hasConceptScore W1569299328C134306372 @default.
- W1569299328 hasConceptScore W1569299328C144024400 @default.
- W1569299328 hasConceptScore W1569299328C154945302 @default.
- W1569299328 hasConceptScore W1569299328C185592680 @default.
- W1569299328 hasConceptScore W1569299328C19165224 @default.
- W1569299328 hasConceptScore W1569299328C193702766 @default.
- W1569299328 hasConceptScore W1569299328C199360897 @default.
- W1569299328 hasConceptScore W1569299328C200568363 @default.
- W1569299328 hasConceptScore W1569299328C2776527387 @default.
- W1569299328 hasConceptScore W1569299328C2777212361 @default.
- W1569299328 hasConceptScore W1569299328C2778562939 @default.
- W1569299328 hasConceptScore W1569299328C2780902518 @default.
- W1569299328 hasConceptScore W1569299328C2781238097 @default.
- W1569299328 hasConceptScore W1569299328C31258907 @default.
- W1569299328 hasConceptScore W1569299328C33923547 @default.
- W1569299328 hasConceptScore W1569299328C41008148 @default.
- W1569299328 hasConceptScore W1569299328C42058472 @default.
- W1569299328 hasConceptScore W1569299328C55493867 @default.
- W1569299328 hasConceptScore W1569299328C73752529 @default.
- W1569299328 hasConceptScore W1569299328C80444323 @default.
- W1569299328 hasLocation W15692993281 @default.
- W1569299328 hasOpenAccess W1569299328 @default.
- W1569299328 hasPrimaryLocation W15692993281 @default.
- W1569299328 hasRelatedWork W1529069991 @default.
- W1569299328 hasRelatedWork W1550042973 @default.
- W1569299328 hasRelatedWork W1585096036 @default.
- W1569299328 hasRelatedWork W1947793699 @default.
- W1569299328 hasRelatedWork W2127857223 @default.
- W1569299328 hasRelatedWork W2131890917 @default.
- W1569299328 hasRelatedWork W2160758424 @default.
- W1569299328 hasRelatedWork W3087603011 @default.
- W1569299328 hasRelatedWork W4248629289 @default.
- W1569299328 hasRelatedWork W2474869314 @default.
- W1569299328 isParatext "false" @default.
- W1569299328 isRetracted "false" @default.
- W1569299328 magId "1569299328" @default.
- W1569299328 workType "book-chapter" @default.