|
|
|
|
|
|
by mafribe
4459 days ago
|
|
|
Most process calculi (including the CHAM) don't model time. I think it's perfectly possible to consider computation without timing. Adding timing is straightforward for any model of computation with operational semantics. This addition generally changes the semantics dramatically (eg. equalities that hold). There are many timed versions of process calculus, e.g. timed CCS, timed CSP, timed pi-calculus. |
|
|