The following pages link to A Complete Guide to the Future (Q5756504):
Displayed 25 items.
- Observable behavior of distributed systems: component reasoning for concurrent objects (Q444466) (← links)
- Termination detection for active objects (Q444506) (← links)
- A sound and complete reasoning system for asynchronous communication with shared futures (Q465485) (← links)
- Integrating deployment architectures and resource consumption in timed object-oriented models (Q478391) (← links)
- Lazy behavioral subtyping (Q710675) (← links)
- Compositional reasoning about active objects with shared futures (Q890481) (← links)
- Backwards type analysis of asynchronous method calls (Q953530) (← links)
- Asynchronous sequential processes (Q1013090) (← links)
- Symbolic execution formally explained (Q1982639) (← links)
- Actor-based model checking for software-defined networks (Q1996852) (← links)
- Deadlock detection for actor-based coroutines (Q2024332) (← links)
- SDN-actors: modeling and verification of SDN programs (Q2024371) (← links)
- Dynamic structural operational semantics (Q2329443) (← links)
- On detecting over-eager concurrency in asynchronously communicating concurrent object systems (Q2360659) (← links)
- Behavioural semantics for asynchronous components (Q2397038) (← links)
- Rely-guarantee termination and cost analyses of loops with concurrent interleavings (Q2398172) (← links)
- A reduction semantics for direct-style asynchronous observables (Q2423763) (← links)
- Securing the Future — An Information Flow Analysis of a Distributed OO Language (Q2891392) (← links)
- Validating Timed Models of Deployment Components with Parametric Concurrency (Q3067533) (← links)
- A Formal, Resource Consumption-Preserving Translation from Actors with Cooperative Scheduling to Haskell* (Q4988924) (← links)
- A Proof System for a PGAS Language (Q5187828) (← links)
- Concurrent Objects à la Carte (Q5187829) (← links)
- May-Happen-in-Parallel Analysis for Actor-Based Concurrency (Q5277912) (← links)
- Testing Concurrent Objects with Application-Specific Schedulers (Q5505611) (← links)
- Observable interface behaviour and inheritance (Q5741571) (← links)