ABS

swMATH21211MaRDI QIDQ33022FDOQ33022

Author name not available (Why is that?)

Source code repository: https://github.com/abstools/abstools

Cited In (31)

• Symbolic execution formally explained
• ABS-NET: fully decentralized runtime adaptation for distributed objects
• Modeling actor systems using dynamic I/O automata
• An evaluation of interaction paradigms for active objects
• Actor-based model checking for software-defined networks
• Multiactive objects and their applications
• A multi-domain incremental analysis engine and its application to incremental resource analysis
• Distributed network generation based on preferential attachment in ABS
• On detecting over-eager concurrency in asynchronously communicating concurrent object systems
• A lightweight approach to smart contracts supporting safety, security, and privacy
• Global reproducibility through local control for distributed active objects
• A transformational approach to resource analysis with typed-norms inference
• Scaling up livelock verification for network-on-chip routing algorithms
• A transformational approach to resource analysis with typed-norms
• Bestow and atomic: concurrent programming using isolation, delegation and grouping
• May-happen-in-parallel analysis for actor-based concurrency
• Behavioural semantics for asynchronous components
• Analysis of executable software models
• Resource-usage-aware configuration in software product lines
• Time analysis of actor programs
• Integrating deployment architectures and resource consumption in timed object-oriented models
• Dynamic rebinding for concurrent object groups: theory and practice
• Observable behavior of distributed systems: component reasoning for concurrent objects
• Quantified abstract configurations of distributed systems
• Rely-guarantee termination and cost analyses of loops with concurrent interleavings
• A formal, resource consumption-preserving translation from actors with cooperative scheduling to Haskell
• A formal, resource consumption-preserving translation of actors to Haskell
• Deadlock detection in linear recursive programs
• A reduction semantics for direct-style asynchronous observables
• A dynamic logic with traces and coinduction
• Key-ABS: a deductive verification tool for the concurrent modelling language ABS

This page was built for software: ABS