Efficient analysis of concurrent systems and distributed systems using compositional verification and net reduction.

thesis

posted on 2025-05-30, 10:17 authored by Yee-Tsong. Juan

Efficient analysis of concurrent systems and distributed systems using compositional verification and net reduction.

History

Degree Grantor

University of Illinois at Chicago.

Degree Level

Doctoral

Language

en

Usage metrics

Categories

No categories selected

Keywords

Computer Science.

Licence

Exports