Seminars

Copyright Notice: The preprints below are presented to ensure timely dissemination of research results. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In all cases, the preprints below may not be reposted without explicit permission of the copyright holder.

"Compositionality, Interaction, and Abstraction in Complex Computing Systems: Process Calculi and Behavioral Equivalences"
"A Process Algebraic Approach to Software Architecture Design"

Presented as lecture series, tutorial, or invited talk at:

"Markovian Behavioral Equivalences: A Comparative Survey"

Presented as lecture series, tutorial, or invited talk at:

"ULTraS: A Uniform Framework for Nondeterministic, Probabilistic, and Timed Process Models and Behavioral Equivalences"

Presented as lecture series, tutorial, or invited talk at: