Pages that link to "Item:Q2343137"
From MaRDI portal
The following pages link to Computability and realizability for interactive computations (Q2343137):
Displaying 5 items.
- Proceedings of the workshop on the foundations of interactive computation (FinCo 2007), Braga, Portugal, March 31, 2007 (Q383083) (← links)
- Theory and methodology of assumption/commitment based system interface specification and architectural contracts (Q1654563) (← links)
- What is the Church-Turing Thesis? (Q5055286) (← links)
- Specification and verification of concurrent systems by causality and realizability (Q6049931) (← links)
- Refining the Safety-Liveness Classification of Temporal Properties According to Realizability (Q6488336) (← links)