The following pages link to ABS (Q33022):
Displaying 31 items.
- Dynamic rebinding for concurrent object groups: theory and practice (Q347396) (← links)
- Observable behavior of distributed systems: component reasoning for concurrent objects (Q444466) (← links)
- Integrating deployment architectures and resource consumption in timed object-oriented models (Q478391) (← links)
- Quantified abstract configurations of distributed systems (Q493525) (← links)
- Resource-usage-aware configuration in software product lines (Q898611) (← links)
- An evaluation of interaction paradigms for active objects (Q1734521) (← links)
- Bestow and atomic: concurrent programming using isolation, delegation and grouping (Q1785860) (← links)
- Symbolic execution formally explained (Q1982639) (← links)
- Actor-based model checking for software-defined networks (Q1996852) (← links)
- A lightweight approach to smart contracts supporting safety, security, and privacy (Q2141289) (← links)
- Scaling up livelock verification for network-on-chip routing algorithms (Q2152663) (← links)
- A multi-domain incremental analysis engine and its application to incremental resource analysis (Q2346994) (← 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 formal, resource consumption-preserving translation of actors to Haskell (Q2409724) (← links)
- Time analysis of actor programs (Q2423757) (← links)
- A reduction semantics for direct-style asynchronous observables (Q2423763) (← links)
- Distributed Network Generation Based on Preferential Attachment in ABS (Q2971128) (← links)
- Modeling Actor Systems Using Dynamic I/O Automata (Q3179176) (← links)
- A Transformational Approach to Resource Analysis with Typed-Norms (Q3453647) (← links)
- KeY-ABS: A Deductive Verification Tool for the Concurrent Modelling Language ABS (Q3454119) (← links)
- A Dynamic Logic with Traces and Coinduction (Q3455778) (← links)
- (Q4596790) (← links)
- A Transformational Approach to Resource Analysis with Typed-norms Inference (Q4957197) (← links)
- A Formal, Resource Consumption-Preserving Translation from Actors with Cooperative Scheduling to Haskell* (Q4988924) (← links)
- (Q4994127) (← links)
- Global Reproducibility Through Local Control for Distributed Active Objects (Q5039528) (← links)
- Analysis of Executable Software Models (Q5175771) (← links)
- Deadlock Detection in Linear Recursive Programs (Q5175772) (← links)
- May-Happen-in-Parallel Analysis for Actor-Based Concurrency (Q5277912) (← links)
