TY  - JOUR

T1  - Concurrent Dynamic Algebra

JO  - ACM Transactions on Computational Logic

PY  - 2015/08/17

AU  - Furusawa H

AU  - Struth G

ED  - 

DO  - DOI: 10.1145/2785967

PB  - Association for Computing Machinery (ACM)

VL  - 16

IS  - 4

SP  - 1

EP  - 38

Y2  - 2025/01/03

ER  -