Pages that link to "Item:Q1894680"
From MaRDI portal
The following pages link to A modal logic for message passing processes (Q1894680):
Displayed 6 items.
- Mathematical modal logic: A view of its evolution (Q1422628) (← links)
- Proof systems for message-passing process algebras (Q1815341) (← links)
- On bidirectional runtime enforcement (Q2117010) (← links)
- Reasoning about higher-order processes (Q5096732) (← links)
- (Q5856409) (← links)
- Bidirectional Runtime Enforcement of First-Order Branching-Time Properties (Q5883741) (← links)