Pages that link to "Item:Q3584928"
From MaRDI portal
The following pages link to A Theory of Design-by-Contract for Distributed Multiparty Interactions (Q3584928):
Displayed 23 items.
- Verifiable abstractions for contract-oriented systems (Q347375) (← links)
- Lightening global types (Q492916) (← links)
- Monitoring networks through multiparty session types (Q517050) (← links)
- The stream-based service-centred calculus: a foundation for service-oriented programming (Q736830) (← links)
- Combining behavioural types with security analysis (Q890614) (← links)
- Timed runtime monitoring for multiparty conversations (Q1682289) (← links)
- Session-based concurrency, declaratively (Q2120811) (← links)
- Monitoring hyperproperties with circuits (Q2165208) (← links)
- Fault-tolerant multiparty session types (Q2165214) (← links)
- Certifying data in multiparty session types (Q2360653) (← links)
- A Gentle Introduction to Multiparty Asynchronous Session Types (Q2822666) (← links)
- Multiparty Session Types Within a Canonical Binary Theory, and Beyond (Q2827461) (← links)
- Enforcing Availability in Failure-Aware Communicating Systems (Q2827467) (← links)
- Certifying Data in Multiparty Session Types (Q3188299) (← links)
- Session Types with Arithmetic Refinements (Q5089277) (← links)
- (Q5094146) (← links)
- (Q5129942) (← links)
- Deriving session and union types for objects (Q5410236) (← links)
- Global progress for dynamically interleaved multiparty sessions (Q5741563) (← links)
- Session-typed concurrent contracts (Q5925542) (← links)
- Interval probability for sessions types (Q6102998) (← links)
- Stateful Behavioral Types for Active Objects (Q6104495) (← links)
- A predicate transformer for choreographies. Computing preconditions in choreographic programming (Q6166802) (← links)