ReLo: a Dynamic Logic to Reason About Reo Circuits (Q6118744)
From MaRDI portal
scientific article; zbMATH DE number 7810643
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | ReLo: a Dynamic Logic to Reason About Reo Circuits |
scientific article; zbMATH DE number 7810643 |
Statements
ReLo: a Dynamic Logic to Reason About Reo Circuits (English)
0 references
28 February 2024
0 references
0 references
