|
Conferences in DBLP
Extended process registry for Erlang. [Citation Graph (, )][DBLP]
A language for specifying type contracts in Erlang and its interaction with success typings. [Citation Graph (, )][DBLP]
Introducing records by refactoring. [Citation Graph (, )][DBLP]
Towards hard real-time Erlang. [Citation Graph (, )][DBLP]
Programming distributed Erlang applications: pitfalls and recipes. [Citation Graph (, )][DBLP]
A more accurate semantics for distributed Erlang. [Citation Graph (, )][DBLP]
Verification of timed Erlang/OTP components using the process algebra mucrl. [Citation Graph (, )][DBLP]
Priority messaging made easy. [Citation Graph (, )][DBLP]
Optimising TCP/IP connectivity. [Citation Graph (, )][DBLP]
An Erlang framework for autonomous mobile robots. [Citation Graph (, )][DBLP]
Learning programming with Erlang. [Citation Graph (, )][DBLP]
|