Change search
ReferencesLink to record
Permanent link

Direct link
Efficient algorithms for computing transitive closure in CWB : Implementation and comparison of several variations
Number of Authors: 1
1991 (English)Report (Refereed)
Abstract [en]

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. Björn 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.

Place, publisher, year, edition, pages
Swedish Institute of Computer Science , 1991, 1. , 25 p.
SICS Technical Report, ISSN 1100-3154 ; T91:19
National Category
Computer and Information Science
URN: urn:nbn:se:ri:diva-22140OAI: diva2:1041683
Available from: 2016-10-31 Created: 2016-10-31

Open Access in DiVA

fulltext(1957 kB)2 downloads
File information
File name FULLTEXT01.pdfFile size 1957 kBChecksum SHA-512
Type fulltextMimetype application/pdf

Computer and Information Science

Search outside of DiVA

GoogleGoogle Scholar
Total: 2 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

ReferencesLink to record
Permanent link

Direct link