A Complete Guide to the Future
From MaRDI portal
Recommendations
Cited in
(39)- Asynchronous sequential processes
- An evaluation of interaction paradigms for active objects
- Symbolic execution formally explained
- Actor-based model checking for software-defined networks
- Deadlock detection for actor-based coroutines
- SDN-actors: modeling and verification of SDN programs
- Towards a \(\mathbb{K}\)ool future
- Dynamic structural operational semantics
- On detecting over-eager concurrency in asynchronously communicating concurrent object systems
- Behavioural semantics for asynchronous components
- Rely-guarantee termination and cost analyses of loops with concurrent interleavings
- A reduction semantics for direct-style asynchronous observables
- The semantics of Scheme with future
- Securing the future -- an information flow analysis of a distributed OO language
- A structural approach to prophecy variables
- Validating timed models of deployment components with parametric concurrency
- ASP\(_{\text{fun}}\) : a typed functional active object calculus
- Observable behavior of distributed systems: component reasoning for concurrent objects
- Termination detection for active objects
- A sound and complete reasoning system for asynchronous communication with shared futures
- Integrating deployment architectures and resource consumption in timed object-oriented models
- The truth about the future
- A formal, resource consumption-preserving translation from actors with cooperative scheduling to Haskell
- Back to futures
- A proof system for a PGAS language
- Concurrent objects à la carte
- May-happen-in-parallel analysis for actor-based concurrency
- Testing Concurrent Objects with Application-Specific Schedulers
- Observable interface behaviour and inheritance
- Asynchronous Cooperative Contracts for Cooperative Scheduling
- On the nature of symbolic execution
- Axiomatic characterization of trace reachability for concurrent objects
- An autonomous data language
- The autonomous data language -- concepts, design and formal verification
- Programming and reasoning about actors that share state
- Lazy behavioral subtyping
- Behavioral interface description of an object-oriented language with futures and promises
- Compositional reasoning about active objects with shared futures
- Backwards type analysis of asynchronous method calls
This page was built for publication: A Complete Guide to the Future
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5756504)
