Matches in SemOpenAlex for { <https://semopenalex.org/work/W85533581> ?p ?o ?g. }
Showing items 1 to 71 of
71
with 100 items per page.
- W85533581 abstract "This paper presents a thesis work for the M. Sc degree in Computer Science at the University of Stockholm. Abstract: The work was accomplished at the Swedish Institute of Computer Science (SICS) during autumn and winter 1989-1990. Bjorn Lisper was supervisor at SICS and Yngve Sundblad at NADA/KTH. The task was to implement an efficient algorithm for computing the transitive closure of binary relations in the Concurrency Workbench (CWB). The CWB is a system that caters for the analysis of concurrent processes expressed in CCS. It was developed at the University of Edinburgh. Further development has and is being carried out both at Edinburgh, the University of Sussex and SICS. The system is written in Standard ML. I have studied a number of transitive closure algorithms. An algorithm by J. Eve and R. Kurki-Suonio seemed to be the most efficient. Two versions of this and of the classical Warhall algorithm have been implemented. One version use array representation and one version uses list representation." @default.
- W85533581 created "2016-06-24" @default.
- W85533581 creator A5018353115 @default.
- W85533581 date "1991-01-01" @default.
- W85533581 modified "2023-09-28" @default.
- W85533581 title "Efficient algorithms for computing transitive closure in CWB : Implementation and comparison of several variations" @default.
- W85533581 hasPublicationYear "1991" @default.
- W85533581 type Work @default.
- W85533581 sameAs 85533581 @default.
- W85533581 citedByCount "0" @default.
- W85533581 crossrefType "journal-article" @default.
- W85533581 hasAuthorship W85533581A5018353115 @default.
- W85533581 hasConcept C11413529 @default.
- W85533581 hasConcept C114614502 @default.
- W85533581 hasConcept C118615104 @default.
- W85533581 hasConcept C127413603 @default.
- W85533581 hasConcept C128896722 @default.
- W85533581 hasConcept C146834321 @default.
- W85533581 hasConcept C154945302 @default.
- W85533581 hasConcept C162324750 @default.
- W85533581 hasConcept C17744445 @default.
- W85533581 hasConcept C191399111 @default.
- W85533581 hasConcept C193702766 @default.
- W85533581 hasConcept C199360897 @default.
- W85533581 hasConcept C199539241 @default.
- W85533581 hasConcept C201995342 @default.
- W85533581 hasConcept C2776359362 @default.
- W85533581 hasConcept C2779110517 @default.
- W85533581 hasConcept C2779145975 @default.
- W85533581 hasConcept C2780451532 @default.
- W85533581 hasConcept C33923547 @default.
- W85533581 hasConcept C34447519 @default.
- W85533581 hasConcept C36464697 @default.
- W85533581 hasConcept C41008148 @default.
- W85533581 hasConcept C65180967 @default.
- W85533581 hasConcept C80444323 @default.
- W85533581 hasConcept C94625758 @default.
- W85533581 hasConceptScore W85533581C11413529 @default.
- W85533581 hasConceptScore W85533581C114614502 @default.
- W85533581 hasConceptScore W85533581C118615104 @default.
- W85533581 hasConceptScore W85533581C127413603 @default.
- W85533581 hasConceptScore W85533581C128896722 @default.
- W85533581 hasConceptScore W85533581C146834321 @default.
- W85533581 hasConceptScore W85533581C154945302 @default.
- W85533581 hasConceptScore W85533581C162324750 @default.
- W85533581 hasConceptScore W85533581C17744445 @default.
- W85533581 hasConceptScore W85533581C191399111 @default.
- W85533581 hasConceptScore W85533581C193702766 @default.
- W85533581 hasConceptScore W85533581C199360897 @default.
- W85533581 hasConceptScore W85533581C199539241 @default.
- W85533581 hasConceptScore W85533581C201995342 @default.
- W85533581 hasConceptScore W85533581C2776359362 @default.
- W85533581 hasConceptScore W85533581C2779110517 @default.
- W85533581 hasConceptScore W85533581C2779145975 @default.
- W85533581 hasConceptScore W85533581C2780451532 @default.
- W85533581 hasConceptScore W85533581C33923547 @default.
- W85533581 hasConceptScore W85533581C34447519 @default.
- W85533581 hasConceptScore W85533581C36464697 @default.
- W85533581 hasConceptScore W85533581C41008148 @default.
- W85533581 hasConceptScore W85533581C65180967 @default.
- W85533581 hasConceptScore W85533581C80444323 @default.
- W85533581 hasConceptScore W85533581C94625758 @default.
- W85533581 hasLocation W855335811 @default.
- W85533581 hasOpenAccess W85533581 @default.
- W85533581 hasPrimaryLocation W855335811 @default.
- W85533581 hasRelatedWork W1480337039 @default.
- W85533581 hasRelatedWork W28730286 @default.
- W85533581 isParatext "false" @default.
- W85533581 isRetracted "false" @default.
- W85533581 magId "85533581" @default.
- W85533581 workType "article" @default.