The following pages link to Erlang (Q19254):
Displayed 50 items.
- Object-oriented programming: some history, and challenges for the next fifty years (Q393077) (← links)
- Integrating deployment architectures and resource consumption in timed object-oriented models (Q478391) (← links)
- Quantified abstract configurations of distributed systems (Q493525) (← links)
- Logic-based program synthesis and transformation. 23rd international symposium, LOPSTR 2013, Madrid, Spain, September 18--19, 2013. Revised selected papers (Q497665) (← links)
- Graph-based communication in Eden (Q526455) (← links)
- Functional and constraint logic programming. 20th international workshop, WFLP 2011, Odense, Denmark, July 19th. Proceedings (Q555657) (← links)
- simpA: an agent-oriented approach for programming concurrent applications on top of Java (Q608358) (← links)
- Adaptive locks: combining transactions and locks for efficient concurrency (Q666229) (← links)
- Synthesising correct concurrent runtime monitors (Q888412) (← links)
- Amalgamating sessions and methods in object-oriented languages with generics (Q1004058) (← links)
- Scala actors: Unifying thread-based and event-based programming (Q1004064) (← links)
- Scheduling problems in parallel systems for telecommunications (Q1362359) (← links)
- Computing in unpredictable environments: semantics, reduction strategies, and program transformations (Q1389440) (← links)
- On modelling mobility (Q1575151) (← links)
- Parallel actor monitors: disentangling task-level parallelism from data partitioning in the actor model (Q1651013) (← links)
- Erlang code evolution control (Q1671148) (← links)
- Model-based fault injection for testing gray-box systems (Q1734510) (← links)
- A theory of reversibility for Erlang (Q1785852) (← links)
- Declarative debugging of concurrent Erlang programs (Q1994356) (← links)
- Preemptive type checking (Q1994367) (← links)
- A coordination protocol language for power grid operation control (Q2011215) (← links)
- ReverCSP: time-travelling in CSP computations (Q2039907) (← links)
- PerformERL: a performance testing framework for Erlang (Q2084981) (← links)
- Gaining trust by tracing security protocols (Q2095430) (← links)
- Reversibility in Erlang: imperative constructs (Q2097430) (← links)
- On distributability (Q2123059) (← links)
- Computing race variants in message-passing concurrent programming with selective receives (Q2165226) (← links)
- A formal approach to the engineering of domain-specific distributed systems (Q2291825) (← links)
- Dynamic structural operational semantics (Q2329443) (← links)
- Higher-order pattern anti-unification in linear time (Q2362208) (← 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)
- A reversible semantics for Erlang (Q2409740) (← links)
- A reduction semantics for direct-style asynchronous observables (Q2423763) (← links)
- Operational semantics for declarative multi-paradigm languages (Q2456574) (← links)
- Efficient memory management for concurrent programs that use message passing (Q2500688) (← links)
- Resource control for synchronous cooperative threads (Q2503040) (← links)
- Program equivalence in an untyped, call-by-value functional language with uncurried functions (Q2693299) (← links)
- (Q2721113) (← links)
- (Q2740996) (← links)
- (Q2763376) (← links)
- Polymorphic Types in Erlang Function Specifications (Q2798275) (← links)
- PSync: a partially synchronous language for fault-tolerant distributed algorithms (Q2828285) (← links)
- Defining Actions in Concurrent Declarative Programming (Q2841291) (← links)
- Model Checking Erlang Programs – Abstracting Recursive Function Calls (Q2841292) (← links)
- (Q2849558) (← links)
- Abstraction and Model Checking of Core Erlang Programs in Maude (Q2873779) (← links)
- (Q2898788) (← links)
- Synthesis of Distributed Mobile Programs Using Monadic Types in Coq (Q2914742) (← links)
- (Q2915503) (← links)