FRINK Linked Data Fragments server

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

• W1968752495 endingPage "3174" @default.
• W1968752495 startingPage "3145" @default.
• W1968752495 abstract "We develop module algebra for structured specifications with model oriented denotations. Our work extends the existing theory with specification building operators for non-protecting importation modes and with new algebraic rules (most notably for initial semantics) and upgrades the pushout-style semantics of parameterized modules to capture the (possible) sharing between the body of the parameterized modules and the instances of the parameters. We specify a set of sufficient abstract conditions, smoothly satisfied in the actual situations, and prove the isomorphism between the parallel and the serial instantiation of multiple parameters. Our module algebra development is done at the level of abstract institutions, which means that our results are very general and directly applicable to a wide variety of specification and programming formalisms that are rigorously based upon some logical system." @default.
• W1968752495 created "2016-06-24" @default.
• W1968752495 creator A5004995921 @default.
• W1968752495 creator A5014172247 @default.
• W1968752495 date "2011-06-01" @default.
• W1968752495 modified "2023-10-14" @default.
• W1968752495 title "On the algebra of structured specifications" @default.
• W1968752495 cites W1967899636 @default.
• W1968752495 cites W1971240584 @default.
• W1968752495 cites W1997753816 @default.
• W1968752495 cites W1998538047 @default.
• W1968752495 cites W2005494456 @default.
• W1968752495 cites W2010883554 @default.
• W1968752495 cites W2060430979 @default.
• W1968752495 cites W2063639823 @default.
• W1968752495 cites W2079150286 @default.
• W1968752495 cites W2116780139 @default.
• W1968752495 cites W2132544545 @default.
• W1968752495 cites W2293815615 @default.
• W1968752495 doi "https://doi.org/10.1016/j.tcs.2011.04.008" @default.
• W1968752495 hasPublicationYear "2011" @default.
• W1968752495 type Work @default.
• W1968752495 sameAs 1968752495 @default.
• W1968752495 citedByCount "17" @default.
• W1968752495 countsByYear W19687524952012 @default.
• W1968752495 countsByYear W19687524952013 @default.
• W1968752495 countsByYear W19687524952014 @default.
• W1968752495 countsByYear W19687524952015 @default.
• W1968752495 countsByYear W19687524952016 @default.
• W1968752495 countsByYear W19687524952020 @default.
• W1968752495 countsByYear W19687524952022 @default.
• W1968752495 countsByYear W19687524952023 @default.
• W1968752495 crossrefType "journal-article" @default.
• W1968752495 hasAuthorship W1968752495A5004995921 @default.
• W1968752495 hasAuthorship W1968752495A5014172247 @default.
• W1968752495 hasBestOaLocation W19687524951 @default.
• W1968752495 hasConcept C11413529 @default.
• W1968752495 hasConcept C115624301 @default.
• W1968752495 hasConcept C116253237 @default.
• W1968752495 hasConcept C136119220 @default.
• W1968752495 hasConcept C136197465 @default.
• W1968752495 hasConcept C154945302 @default.
• W1968752495 hasConcept C161771561 @default.
• W1968752495 hasConcept C165464430 @default.
• W1968752495 hasConcept C171018156 @default.
• W1968752495 hasConcept C177264268 @default.
• W1968752495 hasConcept C184337299 @default.
• W1968752495 hasConcept C185592680 @default.
• W1968752495 hasConcept C188971069 @default.
• W1968752495 hasConcept C199360897 @default.
• W1968752495 hasConcept C202444582 @default.
• W1968752495 hasConcept C203436722 @default.
• W1968752495 hasConcept C2524010 @default.
• W1968752495 hasConcept C2777691520 @default.
• W1968752495 hasConcept C33923547 @default.
• W1968752495 hasConcept C41008148 @default.
• W1968752495 hasConcept C8010536 @default.
• W1968752495 hasConcept C80444323 @default.
• W1968752495 hasConceptScore W1968752495C11413529 @default.
• W1968752495 hasConceptScore W1968752495C115624301 @default.
• W1968752495 hasConceptScore W1968752495C116253237 @default.
• W1968752495 hasConceptScore W1968752495C136119220 @default.
• W1968752495 hasConceptScore W1968752495C136197465 @default.
• W1968752495 hasConceptScore W1968752495C154945302 @default.
• W1968752495 hasConceptScore W1968752495C161771561 @default.
• W1968752495 hasConceptScore W1968752495C165464430 @default.
• W1968752495 hasConceptScore W1968752495C171018156 @default.
• W1968752495 hasConceptScore W1968752495C177264268 @default.
• W1968752495 hasConceptScore W1968752495C184337299 @default.
• W1968752495 hasConceptScore W1968752495C185592680 @default.
• W1968752495 hasConceptScore W1968752495C188971069 @default.
• W1968752495 hasConceptScore W1968752495C199360897 @default.
• W1968752495 hasConceptScore W1968752495C202444582 @default.
• W1968752495 hasConceptScore W1968752495C203436722 @default.
• W1968752495 hasConceptScore W1968752495C2524010 @default.
• W1968752495 hasConceptScore W1968752495C2777691520 @default.
• W1968752495 hasConceptScore W1968752495C33923547 @default.
• W1968752495 hasConceptScore W1968752495C41008148 @default.
• W1968752495 hasConceptScore W1968752495C8010536 @default.
• W1968752495 hasConceptScore W1968752495C80444323 @default.
• W1968752495 hasIssue "28" @default.
• W1968752495 hasLocation W19687524951 @default.
• W1968752495 hasLocation W19687524952 @default.
• W1968752495 hasOpenAccess W1968752495 @default.
• W1968752495 hasPrimaryLocation W19687524951 @default.
• W1968752495 hasRelatedWork W1524501475 @default.
• W1968752495 hasRelatedWork W1588871418 @default.
• W1968752495 hasRelatedWork W1778728081 @default.
• W1968752495 hasRelatedWork W1968752495 @default.
• W1968752495 hasRelatedWork W2020116537 @default.
• W1968752495 hasRelatedWork W2099269319 @default.
• W1968752495 hasRelatedWork W27605384 @default.
• W1968752495 hasRelatedWork W2914625303 @default.
• W1968752495 hasRelatedWork W3042946137 @default.
• W1968752495 hasRelatedWork W2740833272 @default.
• W1968752495 hasVolume "412" @default.
• W1968752495 isParatext "false" @default.
• W1968752495 isRetracted "false" @default.

• next