Specification and verification of concurrent systems by causality and realizability.
Saved in:
| Title: | Specification and verification of concurrent systems by causality and realizability. |
|---|---|
| Authors: | Broy, Manfred1, broy@in.tum.de |
| Source: | Theoretical Computer Science; Sep2023, Vol. 974, pN.PAG-N.PAG, 1p |
| Database: | Applied Science & Technology Source |
| ISSN: | 03043975 |
|---|---|
| DOI: | 10.1016/j.tcs.2023.114106 |
