Matches in SemOpenAlex for { <https://semopenalex.org/work/W1495611182> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W1495611182 abstract "When developing concurrent software, a proper engineering practice is to choose a good level of abstraction for expressing concurrency control. Ideally, this level should provide platform-independent abstractions but, as the platform concurrency behaviour cannot be ignored, this abstraction level must also be able to cope with it and exhibit the influence of different possible behaviours. We state that the Ada language provides such a convenient abstraction level for concurrency description and evaluation, including distributed concurrency. For demonstrating it, we present two new cooperative algorithms based on remote procedure calls which, although simply stated, contain actual concurrency complexity and difficulties. They allow a distributed symmetric non-deterministic rendezvous. One relies on a common server and the second is fully distributed. Both realize a symmetric rendezvous using an asymmetric RPC modelled by Ada rendezvous. These case studies show that Ada concurrency features provide the adequate abstraction level both for describing and evaluating concurrency and for carrying out design decisions." @default.
- W1495611182 created "2016-06-24" @default.
- W1495611182 creator A5017270154 @default.
- W1495611182 creator A5025502728 @default.
- W1495611182 creator A5068309035 @default.
- W1495611182 date "2007-01-01" @default.
- W1495611182 modified "2023-10-18" @default.
- W1495611182 title "Modelling Remote Concurrency with Ada" @default.
- W1495611182 cites W1742761237 @default.
- W1495611182 cites W1846435019 @default.
- W1495611182 cites W1982586195 @default.
- W1495611182 cites W1987352005 @default.
- W1495611182 cites W1989631754 @default.
- W1495611182 cites W2035362408 @default.
- W1495611182 cites W2038924034 @default.
- W1495611182 cites W2046484139 @default.
- W1495611182 cites W2053374874 @default.
- W1495611182 cites W2114407468 @default.
- W1495611182 cites W2116617711 @default.
- W1495611182 cites W2150758006 @default.
- W1495611182 cites W2160279333 @default.
- W1495611182 cites W4211008702 @default.
- W1495611182 doi "https://doi.org/10.1007/978-3-540-73230-3_15" @default.
- W1495611182 hasPublicationYear "2007" @default.
- W1495611182 type Work @default.
- W1495611182 sameAs 1495611182 @default.
- W1495611182 citedByCount "3" @default.
- W1495611182 countsByYear W14956111822014 @default.
- W1495611182 crossrefType "book-chapter" @default.
- W1495611182 hasAuthorship W1495611182A5017270154 @default.
- W1495611182 hasAuthorship W1495611182A5025502728 @default.
- W1495611182 hasAuthorship W1495611182A5068309035 @default.
- W1495611182 hasConcept C108744092 @default.
- W1495611182 hasConcept C111472728 @default.
- W1495611182 hasConcept C120314980 @default.
- W1495611182 hasConcept C124304363 @default.
- W1495611182 hasConcept C127413603 @default.
- W1495611182 hasConcept C138885662 @default.
- W1495611182 hasConcept C146978453 @default.
- W1495611182 hasConcept C150495011 @default.
- W1495611182 hasConcept C193702766 @default.
- W1495611182 hasConcept C199360897 @default.
- W1495611182 hasConcept C208087996 @default.
- W1495611182 hasConcept C2775941552 @default.
- W1495611182 hasConcept C2779968344 @default.
- W1495611182 hasConcept C29829512 @default.
- W1495611182 hasConcept C41008148 @default.
- W1495611182 hasConcept C61912525 @default.
- W1495611182 hasConcept C75949130 @default.
- W1495611182 hasConcept C79240183 @default.
- W1495611182 hasConcept C84511453 @default.
- W1495611182 hasConcept C86803240 @default.
- W1495611182 hasConcept C89423630 @default.
- W1495611182 hasConceptScore W1495611182C108744092 @default.
- W1495611182 hasConceptScore W1495611182C111472728 @default.
- W1495611182 hasConceptScore W1495611182C120314980 @default.
- W1495611182 hasConceptScore W1495611182C124304363 @default.
- W1495611182 hasConceptScore W1495611182C127413603 @default.
- W1495611182 hasConceptScore W1495611182C138885662 @default.
- W1495611182 hasConceptScore W1495611182C146978453 @default.
- W1495611182 hasConceptScore W1495611182C150495011 @default.
- W1495611182 hasConceptScore W1495611182C193702766 @default.
- W1495611182 hasConceptScore W1495611182C199360897 @default.
- W1495611182 hasConceptScore W1495611182C208087996 @default.
- W1495611182 hasConceptScore W1495611182C2775941552 @default.
- W1495611182 hasConceptScore W1495611182C2779968344 @default.
- W1495611182 hasConceptScore W1495611182C29829512 @default.
- W1495611182 hasConceptScore W1495611182C41008148 @default.
- W1495611182 hasConceptScore W1495611182C61912525 @default.
- W1495611182 hasConceptScore W1495611182C75949130 @default.
- W1495611182 hasConceptScore W1495611182C79240183 @default.
- W1495611182 hasConceptScore W1495611182C84511453 @default.
- W1495611182 hasConceptScore W1495611182C86803240 @default.
- W1495611182 hasConceptScore W1495611182C89423630 @default.
- W1495611182 hasLocation W14956111821 @default.
- W1495611182 hasOpenAccess W1495611182 @default.
- W1495611182 hasPrimaryLocation W14956111821 @default.
- W1495611182 hasRelatedWork W1505769189 @default.
- W1495611182 hasRelatedWork W1547315413 @default.
- W1495611182 hasRelatedWork W1556951601 @default.
- W1495611182 hasRelatedWork W1570895331 @default.
- W1495611182 hasRelatedWork W172957746 @default.
- W1495611182 hasRelatedWork W173059969 @default.
- W1495611182 hasRelatedWork W1760404489 @default.
- W1495611182 hasRelatedWork W1853387635 @default.
- W1495611182 hasRelatedWork W2288522156 @default.
- W1495611182 hasRelatedWork W4233783224 @default.
- W1495611182 isParatext "false" @default.
- W1495611182 isRetracted "false" @default.
- W1495611182 magId "1495611182" @default.
- W1495611182 workType "book-chapter" @default.