Andersen, Henrik ReifHenrik ReifAndersenMendler, MichaelMichaelMendler2019-09-192018-08-082018https://fis.uni-bamberg.de/handle/uniba/44320eng004510An asynchronous process algebra with multiple clocksbookparturn:nbn:de:bvb:473-opus4-526456