Sign up to make the most of YourDictionary
By signing in, you agree to our Terms and Conditions
We'll see you in your inbox soon.
More recently I have worked on how to give true concurrency semantics to time extended LOTOS calculi.
Students will also learn how to verify correctness of systems using the Concurrency workbench.
Thus temporal logic is higher level than Z for specifying concurrency.
I will give a brief example of my own current attempt to unify two familiar theories of concurrency, CCS and CSP.
Students will also learn how to verify correctness of systems using the Concurrency Workbench.