Matches in SemOpenAlex for { <https://semopenalex.org/work/W1572319298> ?p ?o ?g. }
Showing items 1 to 94 of
94
with 100 items per page.
- W1572319298 endingPage "221" @default.
- W1572319298 startingPage "203" @default.
- W1572319298 abstract "A typing discipline for concurrent objects is defined. A decidable type system is constructed which features a liveness property of well-typed object configurations: all pending request messages are treated within a finite number of steps (modulo fairness). The type system is exhibited on OL2, a variant of the asynchronous π-calculus. The present paper builds on previous work. It extends the safety results of [11]. It also provides for the incremental extension of well-typed (and well-behaved) configrations: when the code of an object is type checked in the context of an interface repository, it can be added a existing configuration while preserving the liveness property." @default.
- W1572319298 created "2016-06-24" @default.
- W1572319298 creator A5034444117 @default.
- W1572319298 creator A5036998619 @default.
- W1572319298 creator A5054242663 @default.
- W1572319298 date "1999-01-01" @default.
- W1572319298 modified "2023-10-17" @default.
- W1572319298 title "Guaranteeing Liveness in an Object Calculus Through Behavioral Typing" @default.
- W1572319298 cites W1484534662 @default.
- W1572319298 cites W1534454033 @default.
- W1572319298 cites W1534938212 @default.
- W1572319298 cites W1600737813 @default.
- W1572319298 cites W2062555630 @default.
- W1572319298 cites W2092952058 @default.
- W1572319298 cites W2123727486 @default.
- W1572319298 cites W2128932399 @default.
- W1572319298 doi "https://doi.org/10.1007/978-0-387-35578-8_12" @default.
- W1572319298 hasPublicationYear "1999" @default.
- W1572319298 type Work @default.
- W1572319298 sameAs 1572319298 @default.
- W1572319298 citedByCount "10" @default.
- W1572319298 countsByYear W15723192982012 @default.
- W1572319298 countsByYear W15723192982015 @default.
- W1572319298 countsByYear W15723192982017 @default.
- W1572319298 countsByYear W15723192982019 @default.
- W1572319298 countsByYear W15723192982021 @default.
- W1572319298 crossrefType "book-chapter" @default.
- W1572319298 hasAuthorship W1572319298A5034444117 @default.
- W1572319298 hasAuthorship W1572319298A5036998619 @default.
- W1572319298 hasAuthorship W1572319298A5054242663 @default.
- W1572319298 hasBestOaLocation W15723192981 @default.
- W1572319298 hasConcept C111472728 @default.
- W1572319298 hasConcept C118615104 @default.
- W1572319298 hasConcept C138885662 @default.
- W1572319298 hasConcept C151319957 @default.
- W1572319298 hasConcept C151730666 @default.
- W1572319298 hasConcept C153269930 @default.
- W1572319298 hasConcept C154945302 @default.
- W1572319298 hasConcept C15569618 @default.
- W1572319298 hasConcept C18903297 @default.
- W1572319298 hasConcept C189950617 @default.
- W1572319298 hasConcept C199360897 @default.
- W1572319298 hasConcept C2777299769 @default.
- W1572319298 hasConcept C2778029271 @default.
- W1572319298 hasConcept C2779343474 @default.
- W1572319298 hasConcept C2781238097 @default.
- W1572319298 hasConcept C31258907 @default.
- W1572319298 hasConcept C33923547 @default.
- W1572319298 hasConcept C41008148 @default.
- W1572319298 hasConcept C44779574 @default.
- W1572319298 hasConcept C54732982 @default.
- W1572319298 hasConcept C80444323 @default.
- W1572319298 hasConcept C86803240 @default.
- W1572319298 hasConceptScore W1572319298C111472728 @default.
- W1572319298 hasConceptScore W1572319298C118615104 @default.
- W1572319298 hasConceptScore W1572319298C138885662 @default.
- W1572319298 hasConceptScore W1572319298C151319957 @default.
- W1572319298 hasConceptScore W1572319298C151730666 @default.
- W1572319298 hasConceptScore W1572319298C153269930 @default.
- W1572319298 hasConceptScore W1572319298C154945302 @default.
- W1572319298 hasConceptScore W1572319298C15569618 @default.
- W1572319298 hasConceptScore W1572319298C18903297 @default.
- W1572319298 hasConceptScore W1572319298C189950617 @default.
- W1572319298 hasConceptScore W1572319298C199360897 @default.
- W1572319298 hasConceptScore W1572319298C2777299769 @default.
- W1572319298 hasConceptScore W1572319298C2778029271 @default.
- W1572319298 hasConceptScore W1572319298C2779343474 @default.
- W1572319298 hasConceptScore W1572319298C2781238097 @default.
- W1572319298 hasConceptScore W1572319298C31258907 @default.
- W1572319298 hasConceptScore W1572319298C33923547 @default.
- W1572319298 hasConceptScore W1572319298C41008148 @default.
- W1572319298 hasConceptScore W1572319298C44779574 @default.
- W1572319298 hasConceptScore W1572319298C54732982 @default.
- W1572319298 hasConceptScore W1572319298C80444323 @default.
- W1572319298 hasConceptScore W1572319298C86803240 @default.
- W1572319298 hasLocation W15723192981 @default.
- W1572319298 hasOpenAccess W1572319298 @default.
- W1572319298 hasPrimaryLocation W15723192981 @default.
- W1572319298 hasRelatedWork W1535555312 @default.
- W1572319298 hasRelatedWork W1572319298 @default.
- W1572319298 hasRelatedWork W169399732 @default.
- W1572319298 hasRelatedWork W2296248291 @default.
- W1572319298 hasRelatedWork W2470330431 @default.
- W1572319298 hasRelatedWork W2763815264 @default.
- W1572319298 hasRelatedWork W2950929826 @default.
- W1572319298 hasRelatedWork W2964409640 @default.
- W1572319298 hasRelatedWork W3016701145 @default.
- W1572319298 hasRelatedWork W3177160037 @default.
- W1572319298 isParatext "false" @default.
- W1572319298 isRetracted "false" @default.
- W1572319298 magId "1572319298" @default.
- W1572319298 workType "book-chapter" @default.