FRINK Linked Data Fragments server

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

• W1547140337 abstract "We describe Triveni, a framework and API for integrating threads and events. The design of Triveni is based on an algebra, including preemption combinators, of processes. Triveni is compatible with existing threads standards, such as Pthreads and Java threads, and with the event models structured on the Observer pattern. We describe the software architecture and algorithms underlying a concrete implementation of Triveni in Java. This environment includes specification based testing of safety properties. The results described in the paper have been used to integrate process-algebraic methods into (concurrent) object orientated programming (C. Colby et al., 1998)." @default.
• W1547140337 created "2016-06-24" @default.
• W1547140337 creator A5004130328 @default.
• W1547140337 creator A5050988105 @default.
• W1547140337 creator A5056673780 @default.
• W1547140337 creator A5063404392 @default.
• W1547140337 creator A5066146810 @default.
• W1547140337 date "2002-11-27" @default.
• W1547140337 modified "2023-09-24" @default.
• W1547140337 title "Design and implementation of Triveni: a process-algebraic API for threads + events" @default.
• W1547140337 cites W1491037212 @default.
• W1547140337 cites W1498342204 @default.
• W1547140337 cites W1503973138 @default.
• W1547140337 cites W1506588809 @default.
• W1547140337 cites W1570112753 @default.
• W1547140337 cites W1649645444 @default.
• W1547140337 cites W1774705444 @default.
• W1547140337 cites W1875492031 @default.
• W1547140337 cites W1994157580 @default.
• W1547140337 cites W2016872951 @default.
• W1547140337 cites W2064929511 @default.
• W1547140337 cites W2065675749 @default.
• W1547140337 cites W2072961973 @default.
• W1547140337 cites W2096133644 @default.
• W1547140337 cites W2117534212 @default.
• W1547140337 cites W2132750992 @default.
• W1547140337 cites W2133546079 @default.
• W1547140337 cites W2139474266 @default.
• W1547140337 cites W2141137698 @default.
• W1547140337 cites W2158942489 @default.
• W1547140337 cites W3014811439 @default.
• W1547140337 cites W3144368627 @default.
• W1547140337 doi "https://doi.org/10.1109/iccl.1998.674157" @default.
• W1547140337 hasPublicationYear "2002" @default.
• W1547140337 type Work @default.
• W1547140337 sameAs 1547140337 @default.
• W1547140337 citedByCount "11" @default.
• W1547140337 crossrefType "proceedings-article" @default.
• W1547140337 hasAuthorship W1547140337A5004130328 @default.
• W1547140337 hasAuthorship W1547140337A5050988105 @default.
• W1547140337 hasAuthorship W1547140337A5056673780 @default.
• W1547140337 hasAuthorship W1547140337A5063404392 @default.
• W1547140337 hasAuthorship W1547140337A5066146810 @default.
• W1547140337 hasBestOaLocation W15471403372 @default.
• W1547140337 hasConcept C115903868 @default.
• W1547140337 hasConcept C121332964 @default.
• W1547140337 hasConcept C138101251 @default.
• W1547140337 hasConcept C150762246 @default.
• W1547140337 hasConcept C161771561 @default.
• W1547140337 hasConcept C199360897 @default.
• W1547140337 hasConcept C201410400 @default.
• W1547140337 hasConcept C2779662365 @default.
• W1547140337 hasConcept C34165917 @default.
• W1547140337 hasConcept C3701939 @default.
• W1547140337 hasConcept C41008148 @default.
• W1547140337 hasConcept C41138395 @default.
• W1547140337 hasConcept C50033165 @default.
• W1547140337 hasConcept C548217200 @default.
• W1547140337 hasConcept C62520636 @default.
• W1547140337 hasConcept C79678938 @default.
• W1547140337 hasConcept C98045186 @default.
• W1547140337 hasConceptScore W1547140337C115903868 @default.
• W1547140337 hasConceptScore W1547140337C121332964 @default.
• W1547140337 hasConceptScore W1547140337C138101251 @default.
• W1547140337 hasConceptScore W1547140337C150762246 @default.
• W1547140337 hasConceptScore W1547140337C161771561 @default.
• W1547140337 hasConceptScore W1547140337C199360897 @default.
• W1547140337 hasConceptScore W1547140337C201410400 @default.
• W1547140337 hasConceptScore W1547140337C2779662365 @default.
• W1547140337 hasConceptScore W1547140337C34165917 @default.
• W1547140337 hasConceptScore W1547140337C3701939 @default.
• W1547140337 hasConceptScore W1547140337C41008148 @default.
• W1547140337 hasConceptScore W1547140337C41138395 @default.
• W1547140337 hasConceptScore W1547140337C50033165 @default.
• W1547140337 hasConceptScore W1547140337C548217200 @default.
• W1547140337 hasConceptScore W1547140337C62520636 @default.
• W1547140337 hasConceptScore W1547140337C79678938 @default.
• W1547140337 hasConceptScore W1547140337C98045186 @default.
• W1547140337 hasLocation W15471403371 @default.
• W1547140337 hasLocation W15471403372 @default.
• W1547140337 hasOpenAccess W1547140337 @default.
• W1547140337 hasPrimaryLocation W15471403371 @default.
• W1547140337 hasRelatedWork W1505126447 @default.
• W1547140337 hasRelatedWork W1508951366 @default.
• W1547140337 hasRelatedWork W1587795057 @default.
• W1547140337 hasRelatedWork W1594655857 @default.
• W1547140337 hasRelatedWork W1605154090 @default.
• W1547140337 hasRelatedWork W1781150664 @default.
• W1547140337 hasRelatedWork W1875492031 @default.
• W1547140337 hasRelatedWork W2066905445 @default.
• W1547140337 hasRelatedWork W2104474284 @default.
• W1547140337 hasRelatedWork W2121255788 @default.
• W1547140337 hasRelatedWork W2152597788 @default.
• W1547140337 hasRelatedWork W2162357850 @default.
• W1547140337 hasRelatedWork W2276747962 @default.
• W1547140337 hasRelatedWork W3011915426 @default.
• W1547140337 hasRelatedWork W3023517968 @default.
• W1547140337 hasRelatedWork W3101950892 @default.
• W1547140337 hasRelatedWork W3141626855 @default.
• W1547140337 hasRelatedWork W3144368627 @default.

• next