Concurrency in A Sentence

    1

    I will give a brief example of my own current attempt to unify two familiar theories of concurrency, CCS and CSP.

    2

    More recently I have worked on how to give true concurrency semantics to time extended LOTOS calculi.

    3

    Students will also learn how to verify correctness of systems using the Concurrency workbench.

    4

    Students will also learn how to verify correctness of systems using the Concurrency Workbench.

    5

    Thus temporal logic is higher level than Z for specifying concurrency.