Pages that link to "Item:Q1159976"
From MaRDI portal
The following pages link to Verifying concurrent processes using temporal logic (Q1159976):
Displayed 10 items.
- A generalized nexttime operator in temporal logic (Q800722) (← links)
- Exposure to deadlock for communicating processes is hard to detect (Q1064050) (← links)
- Specification and verification of database dynamics (Q1092680) (← links)
- Towards a foundation for semantics in complete metric spaces (Q1173767) (← links)
- Expressibility of output equals input. Negative and positive results (Q1323378) (← links)
- The sliding-window protocol revisited (Q1805397) (← links)
- \(\mathrm{K}_{\mathrm S}\mathrm{P}\) a resolution-based theorem prover for \({\mathsf{K}}_n\): architecture, refinements, strategies and experiments (Q2303247) (← links)
- Control problems in a temporal logic framework (Q3745691) (← links)
- Removing irrelevant information in temporal resolution proofs (Q4421286) (← links)
- Search strategies for resolution in temporal logics (Q4647556) (← links)