Pages that link to "Item:Q1894680"
From MaRDI portal
The following pages link to A modal logic for message passing processes (Q1894680):
Displaying 18 items.
- Modal logics for mobile processes (Q685408) (← links)
- On decidability and model checking for a first order modal logic for value-passing process (Q866004) (← links)
- The logic of message-passing (Q923880) (← links)
- Mathematical modal logic: A view of its evolution (Q1422628) (← links)
- Proof systems for message-passing process algebras (Q1815341) (← links)
- Reasoning about layered message passing systems (Q1886450) (← links)
- A message-passing interpretation of adjoint logic (Q2035649) (← links)
- On bidirectional runtime enforcement (Q2117010) (← links)
- Reasoning about message passing in finite state environments (Q2754167) (← links)
- Modal logics for cryptographic processes (Q2842609) (← links)
- A Complete Quantified Epistemic Logic for Reasoning about Message Passing Systems (Q3602954) (← links)
- (Q4222877) (← links)
- (Q4732449) (← links)
- Reasoning about higher-order processes (Q5096732) (← links)
- (Q5691496) (← links)
- (Q5856409) (← links)
- Bidirectional Runtime Enforcement of First-Order Branching-Time Properties (Q5883741) (← links)
- Unique fixpoint induction for message-passing process calculi (Q5954637) (← links)