Description and Verification of Mobile Processes with Graph Rewriting ...


Barbara König. Description and verification of mobile processes with graph rewriting techniques. PhD thesis, Technische Universität München, 1999.


The aim of this thesis is to describe the semantics of a process calculus by means of hypergraph rewriting, creating a specification mechanism combining modularity of process calculi and locality of graph transformation. Verification of processes is addressed by presenting two methods: barbed congruence for relating processes displaying the same behaviour and generic type systems. The generic type system is a framework which can be instantiated in order to check a property (e.g. absence of deadlocks, confluence, privacy). The type system satisfies the subject reduction property, has principal types and allows automated type inference.

Suggested BibTeX entry:

    author = {Barbara K{\"o}nig},
    school = {Technische Universit{\"a}t M{\"u}nchen},
    title = {Description and Verification of Mobile Processes with Graph Rewriting Techniques},
    year = {1999}

GZipped PostScript (614 kB)PDF (1 MB)
© University of Duisburg-Essen, Theoretical Computer Science group