In this talk I will describe several models and languages for the representation of concurrent systems and indicate how the various approaches relate to each other. I sketch several notions of equivalence and implementation relations defined on these models, as well as process algebraic operators to compose big specifications out of smaller ones. I indicate briefly how these models can be used for verification purposes.
This is planned to be a high level overview talk, omitting many details.
| Robert van Glabbeek |
| Pprincipal researcher in NICTA's Formal Methods (FM) research program. His main research interest is comparative concurrency semantics: the study of mathematical models and formal languages for the representation of distributed systems and the verification of statements about them; in particular, foundational work investigating the possibilities of such models and languages. |
| Date: | Thu Sep 23 2004 |
| Time: | 1pm to 2pm |
| Location: | Level 1 Seminar Room, CSE Bldg (K17), UNSW Kensington Campus |
Last updated by rhuuck at Mon Sep 20 16:09:02 2004 GMT+1000