Files in this item

FilesDescriptionFormat

application/pdf

application/pdf3101979.pdf (7MB)Restricted to U of Illinois
(no description provided)PDF

Description

Title:A Theory of Testing for Asynchronous Concurrent Systems
Author(s):Thati, Prasannaa
Doctoral Committee Chair(s):Agha, Gul A.
Department / Program:Computer Science
Discipline:Computer Science
Degree Granting Institution:University of Illinois at Urbana-Champaign
Degree:Ph.D.
Genre:Dissertation
Subject(s):Computer Science
Abstract:The central idea behind our proof techniques for testing equivalence is to obtain semantic characterizations of the equivalence that do away with universal quantification over contexts. Using these characterizations one can thus establish an equivalence by simply comparing the semantic mappings of the given processes in an abstract domain instead of accounting for their interactions with all possible contexts of use. We use these semantic characterizations to obtain both complete axiomatizations of the equivalence and decision procedures for it over restricted classes of processes. We have also implemented some of the variants of pi-calculus and the proof techniques we have developed for establishing equivalences over them.
Issue Date:2003
Type:Text
Language:English
Description:173 p.
Thesis (Ph.D.)--University of Illinois at Urbana-Champaign, 2003.
URI:http://hdl.handle.net/2142/81630
Other Identifier(s):(MiAaPQ)AAI3101979
Date Available in IDEALS:2015-09-25
Date Deposited:2003


This item appears in the following Collection(s)

Item Statistics