Pages that link to "Item:Q890478"
From MaRDI portal
The following pages link to Balancing expressiveness in formal approaches to concurrency (Q890478):
Displayed 10 items.
- Modelling and analysing neural networks using a hybrid process algebra (Q264526) (← links)
- Generalised rely-guarantee concurrency: an algebraic foundation (Q333330) (← links)
- Designing a semantic model for a wide-spectrum language with concurrency (Q1682288) (← links)
- Guest editors' preface to special issue on interval temporal logics (Q2251123) (← links)
- Possible values: exploring a concept for concurrency (Q2374311) (← links)
- An application of temporal projection to interleaving concurrency (Q2403529) (← links)
- A synchronous program algebra: a basis for reasoning about shared-memory and event-based concurrency (Q2414249) (← links)
- Investigating the limits of rely/guarantee relations based on a concurrent garbage collector example (Q2418046) (← links)
- On Rely-Guarantee Reasoning (Q2941165) (← links)
- Reasoning about Separation Using Abstraction and Reification (Q5268439) (← links)