FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2078105844> ?p ?o ?g. }

• W2078105844 endingPage "187" @default.
• W2078105844 startingPage "147" @default.
• W2078105844 abstract "In this paper, a process algebra that incorporates explicit representations of successful termination, deadlock, and divergence is introduced and its semantic theory is analyzed. Both an operational and a denotational semantics for the language is given and it is shown that they agree. The operational theory is based upon a suitable adaptation of the notion of bisimulation preorder. The denotational semantics for the language is given in terms of the initial continuous algebra that satisfies a set of equations E , CI E . It is shown that CI E is fully abstract with respect to our choice of behavioral preorder. Several results of independent interest are obtained; namely, the finite approximability of the behavioral preorder and a partial completeness result for the set of equations E with respect to the preorder." @default.
• W2078105844 created "2016-06-24" @default.
• W2078105844 creator A5036035088 @default.
• W2078105844 creator A5041913577 @default.
• W2078105844 date "1992-01-02" @default.
• W2078105844 modified "2023-10-18" @default.
• W2078105844 title "Termination, deadlock, and divergence" @default.
• W2078105844 cites W1539804543 @default.
• W2078105844 cites W1972478730 @default.
• W2078105844 cites W1978375202 @default.
• W2078105844 cites W1978469611 @default.
• W2078105844 cites W1990440312 @default.
• W2078105844 cites W1992072860 @default.
• W2078105844 cites W2000059452 @default.
• W2078105844 cites W2001748564 @default.
• W2078105844 cites W2007270285 @default.
• W2078105844 cites W2036996017 @default.
• W2078105844 cites W2039112578 @default.
• W2078105844 cites W2061786858 @default.
• W2078105844 cites W2063465006 @default.
• W2078105844 cites W2102097307 @default.
• W2078105844 cites W2106934908 @default.
• W2078105844 cites W2137865376 @default.
• W2078105844 cites W2294826973 @default.
• W2078105844 cites W4251097190 @default.
• W2078105844 cites W4296415990 @default.
• W2078105844 doi "https://doi.org/10.1145/147508.147527" @default.
• W2078105844 hasPublicationYear "1992" @default.
• W2078105844 type Work @default.
• W2078105844 sameAs 2078105844 @default.
• W2078105844 citedByCount "92" @default.
• W2078105844 countsByYear W20781058442012 @default.
• W2078105844 countsByYear W20781058442013 @default.
• W2078105844 countsByYear W20781058442014 @default.
• W2078105844 countsByYear W20781058442016 @default.
• W2078105844 countsByYear W20781058442017 @default.
• W2078105844 countsByYear W20781058442018 @default.
• W2078105844 countsByYear W20781058442019 @default.
• W2078105844 countsByYear W20781058442020 @default.
• W2078105844 countsByYear W20781058442022 @default.
• W2078105844 crossrefType "journal-article" @default.
• W2078105844 hasAuthorship W2078105844A5036035088 @default.
• W2078105844 hasAuthorship W2078105844A5041913577 @default.
• W2078105844 hasBestOaLocation W20781058441 @default.
• W2078105844 hasConcept C118615104 @default.
• W2078105844 hasConcept C135315306 @default.
• W2078105844 hasConcept C136119220 @default.
• W2078105844 hasConcept C138885662 @default.
• W2078105844 hasConcept C156325763 @default.
• W2078105844 hasConcept C159023740 @default.
• W2078105844 hasConcept C161771561 @default.
• W2078105844 hasConcept C177264268 @default.
• W2078105844 hasConcept C184337299 @default.
• W2078105844 hasConcept C199360897 @default.
• W2078105844 hasConcept C202444582 @default.
• W2078105844 hasConcept C207390915 @default.
• W2078105844 hasConcept C207648694 @default.
• W2078105844 hasConcept C2333172 @default.
• W2078105844 hasConcept C33923547 @default.
• W2078105844 hasConcept C41008148 @default.
• W2078105844 hasConcept C41895202 @default.
• W2078105844 hasConcept C80444323 @default.
• W2078105844 hasConcept C89448276 @default.
• W2078105844 hasConceptScore W2078105844C118615104 @default.
• W2078105844 hasConceptScore W2078105844C135315306 @default.
• W2078105844 hasConceptScore W2078105844C136119220 @default.
• W2078105844 hasConceptScore W2078105844C138885662 @default.
• W2078105844 hasConceptScore W2078105844C156325763 @default.
• W2078105844 hasConceptScore W2078105844C159023740 @default.
• W2078105844 hasConceptScore W2078105844C161771561 @default.
• W2078105844 hasConceptScore W2078105844C177264268 @default.
• W2078105844 hasConceptScore W2078105844C184337299 @default.
• W2078105844 hasConceptScore W2078105844C199360897 @default.
• W2078105844 hasConceptScore W2078105844C202444582 @default.
• W2078105844 hasConceptScore W2078105844C207390915 @default.
• W2078105844 hasConceptScore W2078105844C207648694 @default.
• W2078105844 hasConceptScore W2078105844C2333172 @default.
• W2078105844 hasConceptScore W2078105844C33923547 @default.
• W2078105844 hasConceptScore W2078105844C41008148 @default.
• W2078105844 hasConceptScore W2078105844C41895202 @default.
• W2078105844 hasConceptScore W2078105844C80444323 @default.
• W2078105844 hasConceptScore W2078105844C89448276 @default.
• W2078105844 hasIssue "1" @default.
• W2078105844 hasLocation W20781058441 @default.
• W2078105844 hasOpenAccess W2078105844 @default.
• W2078105844 hasPrimaryLocation W20781058441 @default.
• W2078105844 hasRelatedWork W1543138809 @default.
• W2078105844 hasRelatedWork W1756668654 @default.
• W2078105844 hasRelatedWork W1878098282 @default.
• W2078105844 hasRelatedWork W1997305605 @default.
• W2078105844 hasRelatedWork W2000726331 @default.
• W2078105844 hasRelatedWork W2010343316 @default.
• W2078105844 hasRelatedWork W2036929339 @default.
• W2078105844 hasRelatedWork W2078105844 @default.
• W2078105844 hasRelatedWork W2095677460 @default.
• W2078105844 hasRelatedWork W2483009111 @default.
• W2078105844 hasVolume "39" @default.
• W2078105844 isParatext "false" @default.

• next