ABS
From MaRDI portal
Cited in
(66)- COSTA
- ArchJava
- JoCaml
- An evaluation of interaction paradigms for active objects
- ProActive
- Bestow and atomic: concurrent programming using isolation, delegation and grouping
- Erlang
- Symbolic execution formally explained
- Actor-based model checking for software-defined networks
- SPEED
- Multilisp
- Creol
- A lightweight approach to smart contracts supporting safety, security, and privacy
- Scaling up livelock verification for network-on-chip routing algorithms
- COSTABS
- iCanCloud
- A multi-domain incremental analysis engine and its application to incremental resource analysis
- 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 formal, resource consumption-preserving translation of actors to Haskell
- Time analysis of actor programs
- A reduction semantics for direct-style asynchronous observables
- Snugglebug
- SOFA 2.0
- VeriCon
- Distributed network generation based on preferential attachment in ABS
- CoBoxes
- Java Jr
- Modeling actor systems using dynamic I/O automata
- Kilim
- SACO
- Syco
- JCobox
- A transformational approach to resource analysis with typed-norms
- Key-ABS: a deductive verification tool for the concurrent modelling language ABS
- A dynamic logic with traces and coinduction
- Dynamic rebinding for concurrent object groups: theory and practice
- TyPiCal
- Welterweight Java
- JavAdaptor
- VeriFlow
- ABCL
- AmbientTalk
- SPL Conqueror
- Anteater
- Observable behavior of distributed systems: component reasoning for concurrent objects
- Akka
- Kuai
- Multiactive objects and their applications
- TALx86
- Integrating deployment architectures and resource consumption in timed object-oriented models
- Quantified abstract configurations of distributed systems
- A transformational approach to resource analysis with typed-norms inference
- A formal, resource consumption-preserving translation from actors with cooperative scheduling to Haskell
- ABS-NET: fully decentralized runtime adaptation for distributed objects
- Global reproducibility through local control for distributed active objects
- Analysis of executable software models
- Deadlock detection in linear recursive programs
- May-happen-in-parallel analysis for actor-based concurrency
- KryoNet
- ABS-NET
- CauDEr
- KeY-ABS
- VerX
- Resource-usage-aware configuration in software product lines
This page was built for software: ABS
