FRINK Linked Data Fragments server

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

• W59680908 endingPage "19" @default.
• W59680908 startingPage "4" @default.
• W59680908 abstract "This work presents a conservative extension of OhCircus, a concurrent specification language, which integrates CSP, Z, object-orientation and embeds a refinement calculus. This extension supports the definition of process inheritance, where control flow, operations and state components are eligible for reuse. We present the extended OhCircus grammar and, based on Hoare and He’s Unifying Theories of Programming, we give the formal semantics of process inheritance and its supporting constructs. The main contribution of this work is a set of sound algebraic laws for process inheritance. The proposed laws are exercised in the development of a case study." @default.
• W59680908 created "2016-06-24" @default.
• W59680908 creator A5012870378 @default.
• W59680908 creator A5041930802 @default.
• W59680908 creator A5051840168 @default.
• W59680908 date "2013-01-01" @default.
• W59680908 modified "2023-09-23" @default.
• W59680908 title "Algebraic Laws for Process Subtyping" @default.
• W59680908 cites W123523327 @default.
• W59680908 cites W135678628 @default.
• W59680908 cites W1494444212 @default.
• W59680908 cites W1514848748 @default.
• W59680908 cites W1532631480 @default.
• W59680908 cites W1535103785 @default.
• W59680908 cites W1539362846 @default.
• W59680908 cites W1559958463 @default.
• W59680908 cites W1816659336 @default.
• W59680908 cites W1858591222 @default.
• W59680908 cites W1995008247 @default.
• W59680908 cites W2014505017 @default.
• W59680908 cites W2023913079 @default.
• W59680908 cites W2077325003 @default.
• W59680908 cites W2119402699 @default.
• W59680908 doi "https://doi.org/10.1007/978-3-642-41202-8_2" @default.
• W59680908 hasPublicationYear "2013" @default.
• W59680908 type Work @default.
• W59680908 sameAs 59680908 @default.
• W59680908 citedByCount "2" @default.
• W59680908 countsByYear W596809082015 @default.
• W59680908 countsByYear W596809082022 @default.
• W59680908 crossrefType "book-chapter" @default.
• W59680908 hasAuthorship W59680908A5012870378 @default.
• W59680908 hasAuthorship W59680908A5041930802 @default.
• W59680908 hasAuthorship W59680908A5051840168 @default.
• W59680908 hasBestOaLocation W596809082 @default.
• W59680908 hasConcept C104317684 @default.
• W59680908 hasConcept C134306372 @default.
• W59680908 hasConcept C136119220 @default.
• W59680908 hasConcept C160191386 @default.
• W59680908 hasConcept C161771561 @default.
• W59680908 hasConcept C177264268 @default.
• W59680908 hasConcept C184337299 @default.
• W59680908 hasConcept C185592680 @default.
• W59680908 hasConcept C18903297 @default.
• W59680908 hasConcept C199360897 @default.
• W59680908 hasConcept C201677973 @default.
• W59680908 hasConcept C202444582 @default.
• W59680908 hasConcept C206588197 @default.
• W59680908 hasConcept C2777691520 @default.
• W59680908 hasConcept C2778029271 @default.
• W59680908 hasConcept C2779729104 @default.
• W59680908 hasConcept C2780902518 @default.
• W59680908 hasConcept C33923547 @default.
• W59680908 hasConcept C41008148 @default.
• W59680908 hasConcept C55493867 @default.
• W59680908 hasConcept C73752529 @default.
• W59680908 hasConcept C80444323 @default.
• W59680908 hasConcept C83852419 @default.
• W59680908 hasConcept C86803240 @default.
• W59680908 hasConcept C9376300 @default.
• W59680908 hasConcept C98045186 @default.
• W59680908 hasConceptScore W59680908C104317684 @default.
• W59680908 hasConceptScore W59680908C134306372 @default.
• W59680908 hasConceptScore W59680908C136119220 @default.
• W59680908 hasConceptScore W59680908C160191386 @default.
• W59680908 hasConceptScore W59680908C161771561 @default.
• W59680908 hasConceptScore W59680908C177264268 @default.
• W59680908 hasConceptScore W59680908C184337299 @default.
• W59680908 hasConceptScore W59680908C185592680 @default.
• W59680908 hasConceptScore W59680908C18903297 @default.
• W59680908 hasConceptScore W59680908C199360897 @default.
• W59680908 hasConceptScore W59680908C201677973 @default.
• W59680908 hasConceptScore W59680908C202444582 @default.
• W59680908 hasConceptScore W59680908C206588197 @default.
• W59680908 hasConceptScore W59680908C2777691520 @default.
• W59680908 hasConceptScore W59680908C2778029271 @default.
• W59680908 hasConceptScore W59680908C2779729104 @default.
• W59680908 hasConceptScore W59680908C2780902518 @default.
• W59680908 hasConceptScore W59680908C33923547 @default.
• W59680908 hasConceptScore W59680908C41008148 @default.
• W59680908 hasConceptScore W59680908C55493867 @default.
• W59680908 hasConceptScore W59680908C73752529 @default.
• W59680908 hasConceptScore W59680908C80444323 @default.
• W59680908 hasConceptScore W59680908C83852419 @default.
• W59680908 hasConceptScore W59680908C86803240 @default.
• W59680908 hasConceptScore W59680908C9376300 @default.
• W59680908 hasConceptScore W59680908C98045186 @default.
• W59680908 hasLocation W596809081 @default.
• W59680908 hasLocation W596809082 @default.
• W59680908 hasOpenAccess W59680908 @default.
• W59680908 hasPrimaryLocation W596809081 @default.
• W59680908 hasRelatedWork W1535840459 @default.
• W59680908 hasRelatedWork W1545848507 @default.
• W59680908 hasRelatedWork W1552204709 @default.
• W59680908 hasRelatedWork W1588871418 @default.
• W59680908 hasRelatedWork W1832869869 @default.
• W59680908 hasRelatedWork W2002067075 @default.
• W59680908 hasRelatedWork W2020116537 @default.

• next