Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
27 | Marc De Leenheer, Chris Develder, Filip De Turck, Bart Dhoedt, Piet Demeester |
Erlang Reduced Load Model for Optical Burst Switched Grids. |
ICNS |
2007 |
DBLP DOI BibTeX RDF |
|
27 | Ioannis Z. Koukoutsidis, Eitan Altman |
Erlang Capacity of a CDMA Link with Transmission Rate Control. |
NEW2AN |
2006 |
DBLP DOI BibTeX RDF |
|
27 | Andrew M. Ross, J. George Shanthikumar |
Estimating Effective Capacity in Erlang Loss Systems under Competition. |
Queueing Syst. Theory Appl. |
2005 |
DBLP DOI BibTeX RDF |
AMS subject classification 62M05, 68M20, 60K25, 90B18 |
27 | François Baccelli, Bartlomiej Blaszczyszyn, Mohamed Kadhem Karray |
Blocking rates in large CDMA networks via a spatial Erlang formula. |
INFOCOM |
2005 |
DBLP DOI BibTeX RDF |
|
27 | Bruno Baynat, Khaled Boussetta, Pierre Eisenmann, Nidham Ben Rached |
Towards an Erlang-Like Formula for the Performance Evaluation of GPRS/EDGE Networks with Finite-Length Sessions. |
NETWORKING |
2004 |
DBLP DOI BibTeX RDF |
|
27 | Thomas Arts, Koen Claessen, Hans Svensson |
Semi-formal Development of a Fault-Tolerant Leader Election Protocol in Erlang. |
FATES |
2004 |
DBLP DOI BibTeX RDF |
|
27 | Erik Johansson, Konstantinos Sagonas |
Linear Scan Register Allocation in a High-Performance Erlang Compiler. |
PADL |
2002 |
DBLP DOI BibTeX RDF |
|
27 | S. Omsin, A. Manyanon, Chom Kimpan, Ouen Pin-Ngern, Suthichai Noppanakeepong |
Effect of multipath fading on the Erlang capacity of imperfect power control in cellular CDMA system. |
APCCAS (2) |
2002 |
DBLP DOI BibTeX RDF |
|
27 | Jürgen Giesl, Thomas Arts |
Verification of Erlang Processes by Dependency Pairs. |
Appl. Algebra Eng. Commun. Comput. |
2001 |
DBLP DOI BibTeX RDF |
Verification, Distributed processes, Termination, Rewriting |
27 | Thomas Arts, Jürgen Giesl |
Applying Rewriting Techniques to the Verification of Erlang Processes. |
CSL |
1999 |
DBLP DOI BibTeX RDF |
|
27 | Neil Walkinshaw, John Derrick, Qiang Guo 0001 |
Iterative Refinement of Reverse-Engineered Models by Model-Based Testing. |
FM |
2009 |
DBLP DOI BibTeX RDF |
Reverse engineering, model-based testing, Erlang |
27 | Jan Henry Nyström, Philip W. Trinder, David J. King |
Evaluating high-level distributed language constructs. |
ICFP |
2007 |
DBLP DOI BibTeX RDF |
programming languages, haskell, distributed programming, erlang |
27 | Lu Yu 0005, Jin Zhou 0002, Shingo Mabu, Kotaro Hirasawa, Jinglu Hu, Sandor Markon |
Effects of passenger's arrival distribution to double-deck elevator group supervisory control systems using genetic network programming. |
GECCO |
2007 |
DBLP DOI BibTeX RDF |
Erlang distribution, elevator group supervisory control system, passengers' arrival, genetic network programming |
27 | Axel Thümmler, Peter Buchholz 0001, Miklós Telek |
A Novel Approach for Phase-Type Fitting with the EM Algorithm. |
IEEE Trans. Dependable Secur. Comput. |
2006 |
DBLP DOI BibTeX RDF |
hyper-Erlang distributions, Markov processes, communication networks, traffic modeling, Performance analysis and design aids |
27 | Tobias Lindahl, Konstantinos Sagonas |
Practical type inference based on success typings. |
PPDP |
2006 |
DBLP DOI BibTeX RDF |
success typings, Erlang, subtyping, constraint-based type inference |
27 | Youngmi Jin, George Kesidis |
Dynamics of usage-priced communication networks: the case of a single bottleneck resource. |
IEEE/ACM Trans. Netw. |
2005 |
DBLP DOI BibTeX RDF |
Erlang blocking, evolving TCP, usage pricing, quality of service (QoS), internet, stability, TCP/IP, Lyapunov function, Nash equilibria, differentiated services (diffserv) |
27 | Quang Gao, Keith J. Blow, David J. Holding, Ian W. Marshall |
Analysis of Energy Conservation in Sensor Networks. |
Wirel. Networks |
2005 |
DBLP DOI BibTeX RDF |
Erlang formula, QoS, sensor networks, ad hoc networks, energy efficient design |
27 | Daniel Luna, Mikael Pettersson, Konstantinos Sagonas |
Efficiently compiling a functional language on AMD64: the HiPE experience. |
PPDP |
2005 |
DBLP DOI BibTeX RDF |
AMD64, functional programming, erlang |
27 | Erik Johansson, Konstantinos Sagonas, Jesper Wilhelmsson |
Heap architectures for concurrent languages using message passing. |
MSP/ISMM |
2002 |
DBLP DOI BibTeX RDF |
message passing, garbage collection, erlang, runtime systems, concurrent languages |
27 | Dimitris Bertsimas, Georgia Mourtzinou |
Decomposition results for general polling systems and their applications. |
Queueing Syst. Theory Appl. |
1999 |
DBLP DOI BibTeX RDF |
switch-over times, mixed generalized Erlang arrivals, performance analysis, decomposition, heavy traffic, polling systems, distributional laws |
22 | Salah-Eddine Elayoubi, Benoît Fourestié |
Performance evaluation of admission control and adaptive modulation in OFDMA WiMax systems. |
IEEE/ACM Trans. Netw. |
2008 |
DBLP DOI BibTeX RDF |
inter-cell interference, performance evaluation, WiMAX, OFDMA |
22 | Martin Sulzmann, Edmund S. L. Lam, Peter Van Weert |
Actors with Multi-headed Message Receive Patterns. |
COORDINATION |
2008 |
DBLP DOI BibTeX RDF |
|
22 | Mika Murtojärvi, Jouni Järvinen, Mika Johnsson, Timo Leipälä, Olli Nevalainen |
Determining the Proper Number and Price of Software Licenses. |
IEEE Trans. Software Eng. |
2007 |
DBLP DOI BibTeX RDF |
Software release management and delivery, simulation, mathematical modeling, queuing theory |
22 | Nidhi Hegde 0001, Eitan Altman |
Capacity of Multiservice WCDMA Networks with Variable GoS. |
Wirel. Networks |
2006 |
DBLP DOI BibTeX RDF |
WCDMA performance, integration of streaming and elastic traffic, UMTS, HSDPA, Quasi birth- and death-processes |
22 | Haitang Wang, Bing He 0004, Dharma P. Agrawal |
Admission Control and Bandwidth Allocation above Packet Level for IEEE 802.16 Wireless MAN. |
ICPADS (1) |
2006 |
DBLP DOI BibTeX RDF |
|
22 | Wenhong Tian |
The transient analysis of loss networks. |
SIGMETRICS Perform. Evaluation Rev. |
2005 |
DBLP DOI BibTeX RDF |
|
22 | Jan Henry Nyström, Philip W. Trinder, David J. King |
Are High-Level Languages Suitable for Robust Telecoms Software?. |
SAFECOMP |
2005 |
DBLP DOI BibTeX RDF |
|
22 | Tobias Lindahl, Konstantinos Sagonas |
Detecting Software Defects in Telecom Applications Through Lightweight Static Analysis: A War Story. |
APLAS |
2004 |
DBLP DOI BibTeX RDF |
Compile-time program checking, software development, software tools, defect detection, software quality assurance |
22 | Antonella Di Stefano, Corrado Santoro |
Designing Collaborative Agents with eXAT. |
WETICE |
2004 |
DBLP DOI BibTeX RDF |
|
22 | Mahmoud Naghshineh, Anthony S. Acampora |
Design and control of micro-cellular networks with QOS provisioning for data traffic. |
Wirel. Networks |
1997 |
DBLP DOI BibTeX RDF |
|
22 | Mads Dam, Lars-Åke Fredlund, Dilian Gurov |
Toward Parametric Verification of Open Distributed Systems. |
COMPOS |
1997 |
DBLP DOI BibTeX RDF |
|
22 | Olav Hansen, Peter Fritzson |
A Performance Analyzer for a Parallel Real-Time Functional Language. |
HICSS (1) |
1996 |
DBLP DOI BibTeX RDF |
|
16 | Yunzhe Li, Juhee Lee, Athanasios Kottas |
Bayesian nonparametric Erlang mixture modeling for survival analysis. |
Comput. Stat. Data Anal. |
2024 |
DBLP DOI BibTeX RDF |
|
16 | Mario E. Rivero-Angeles, Iclia Villordo-Jimenez, Izlian Yolanda Orea-Flores, Noé Torres-Cruz, Angel Pretelín-Ricárdez |
Erlang-U: Blocking Probability of UAV-Assisted Cellular Systems. |
Inf. |
2024 |
DBLP DOI BibTeX RDF |
|
16 | Alexander M. Andronov, Kristina Mahareva |
Elaborated Analysis of a Nonreplenishable Queue with Erlang Distribution of the Service Time. |
Autom. Control. Comput. Sci. |
2024 |
DBLP DOI BibTeX RDF |
|
16 | M. Moharrami, V. Subramanian, M. Liu, R. Sundaresan |
The Erlang weighted tree, a new branching process. |
Random Struct. Algorithms |
2024 |
DBLP DOI BibTeX RDF |
|
16 | Vighnesh Sachidananda, Anirudh Sivaraman |
Erlang: Application-Aware Autoscaling for Cloud Microservices. |
EuroSys |
2024 |
DBLP DOI BibTeX RDF |
|
16 | Matheus Souza 0001, Marcel De Almeida, André R. Fioravanti, Oswaldo L. V. Costa |
H2 Output-Feedback Cluster Control for Continuous Semi-Markov Jump Linear Systems With Erlang Dwell Times. |
IEEE Control. Syst. Lett. |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Kazuma Abe, Tuan Phung-Duc |
Diffusion limit of a modified Erlang-B system with sensing time of secondary users. |
Ann. Oper. Res. |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Ahmad Attar, Sadigh Raissi, Hamid Tohidi, Mohammad Javad Feizollahi |
A Novel Perspective on Reliable System Design With Erlang Failures and Realistic Constraints for Incomplete Switching Mechanisms. |
IEEE Access |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Barbara Haas Margolius |
The periodic steady-state solution for queues with Erlang arrivals and service and time-varying periodic transition rates. |
Queueing Syst. Theory Appl. |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Yu Chen 0006, Yaxuan Tang, Mingchun Xu, Xiaofeng Tao |
Energy-Efficient Wireless System Within Average Delay and With Mixed-Erlang-Distributed Data. |
IEEE Wirel. Commun. Lett. |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Péter Bereczky, Dániel Horpácsi, Simon J. Thompson |
A Frame Stack Semantics for Sequential Core Erlang. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Albert Schimpf, Stefan Wehr, Annette Bieniusa |
Set-theoretic Types for Erlang. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Dominic Orchard, Mihail Munteanu, Paulo Torrens |
Communicating Actor Automata - Modelling Erlang Processes as Communicating Machines. |
PLACES@ETAPS |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Péter Bereczky, Dániel Horpácsi, Simon J. Thompson |
A Formalisation of Core Erlang, a Concurrent Actor Language. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Hyotae Kim, Athanasios Kottas |
Erlang mixture modeling for Poisson process intensities. |
Stat. Comput. |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Jiao Wang, Lemin Zhang, Zhiqiang He, Can Zhu, Zihui Zhao |
Erlang planning network: An iterative model-based reinforcement learning with multi-perspective. |
Pattern Recognit. |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Ivan Lanese, Ulrik Pagh Schultz, Irek Ulidowski |
Reversible Computing in Debugging of Erlang Programs. |
IT Prof. |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Walter Cazzola, Francesco Cesarini, Luca Tansini |
PerformERL: a performance testing framework for erlang. |
Distributed Comput. |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Matthieu Jonckheere |
From Erlang formula to robust control. |
Queueing Syst. Theory Appl. |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Alexander B. Veretennikov |
An open problem about the rate of convergence in Erlang-Sevastyanov's model. |
Queueing Syst. Theory Appl. |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Semih Kara, Nuno C. Martins, Murat Arcak |
Population Games With Erlang Clocks: Convergence to Nash Equilibria For Pairwise Comparison Dynamics. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Miquel Ferriol Galmés, Krzysztof Rusek, José Suárez-Varela, Shihan Xiao, Xiangle Cheng, Pere Barlet-Ros, Albert Cabellos-Aparicio |
RouteNet-Erlang: A Graph Neural Network for Network Performance Evaluation. |
CoRR |
2022 |
DBLP BibTeX RDF |
|
16 | Pietro Lami, Ivan Lanese, Jean-Bernard Stefani, Claudio Sacerdoti Coen, Giovanni Fabbretti |
Reversibility in Erlang: Imperative Constructs. |
RC |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Giovanni Fabbretti, Ivan Lanese, Jean-Bernard Stefani |
Generation of a Reversible Semantics for Erlang in Maude. |
ICFEM |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Semih Kara, Nuno C. Martins, Murat Arcak |
Population Games With Erlang Clocks: Convergence to Nash Equilibria For Pairwise Comparison Dynamics. |
CDC |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Kazuma Abe, Tuan Phung-Duc |
Asymptotic Analysis of Modified Erlang-B System with Sensing Time and Stochastic Loss of Secondary Users. |
VALUETOOLS |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Miquel Ferriol Galmés, Krzysztof Rusek, José Suárez-Varela, Shihan Xiao, Xiang Shi, Xiangle Cheng, Bo Wu, Pere Barlet-Ros, Albert Cabellos-Aparicio |
RouteNet-Erlang: A Graph Neural Network for Network Performance Evaluation. |
INFOCOM |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Lavinia Egidi, Paola Giannini, Lorenzo Ventura |
Multiparty-session-types Coordination for Core Erlang. |
ICSOFT |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Clemens Neumüller, Joerg Robert, Albert Heuberger |
Convolving Hyper-Erlang with Hyper-Exponential Distributions Using Linear Algebra. |
ICoMS |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Vladimir Janjic, Christopher Brown 0002, Adam D. Barwell, Kevin Hammond |
Refactoring for introducing and tuning parallelism for heterogeneous multicore machines in Erlang. |
Concurr. Comput. Pract. Exp. |
2021 |
DBLP DOI BibTeX RDF |
|
16 | Bobby S. Nyotta, Fernanda Bravo, M. Keith Chen |
Computing the conditional entry-state distribution in Erlang loss systems. |
Oper. Res. Lett. |
2021 |
DBLP DOI BibTeX RDF |
|
16 | Thirupathaiah Vasantam, Ravi R. Mazumdar |
Sensitivity of mean-field fluctuations in Erlang loss models with randomized routing. |
J. Appl. Probab. |
2021 |
DBLP DOI BibTeX RDF |
|
16 | Fernando Benavides Rodríguez, Laura M. Castro |
Detecting Oxbow Code in Erlang Codebases with the Highest Degree of Certainty. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
16 | Thirupathaiah Vasantam, Ravi R. Mazumdar |
Sensitivity of Mean-Field Fluctuations in Erlang loss models with randomized routing. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
16 | Evsey V. Morozov, S. S. Rogozin, Hung Quoc Nguyen, Tuan Phung-Duc |
Modified Erlang loss system for cognitive wireless networks. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
16 | Wenyong Gui, Rongtan Huang, X. Sheldon Lin |
Fitting multivariate Erlang mixtures to data: A roughness penalty approach. |
J. Comput. Appl. Math. |
2021 |
DBLP DOI BibTeX RDF |
|
16 | Giovanni Fabbretti, Ivan Lanese, Jean-Bernard Stefani |
Causal-Consistent Debugging of Distributed Erlang Programs. |
RC |
2021 |
DBLP DOI BibTeX RDF |
|
16 | Paul Kevin Reeser |
Highly Accurate, Explicit Approximation for Erlang B. |
EPEW |
2021 |
DBLP DOI BibTeX RDF |
|
16 | Liu Yang, Yanyi Sun, Yi Wang, Tongkuai Zhang |
Vehicles Connectivity on Highways Adopting Erlang-distribution for Time Headway. |
ICSAI |
2021 |
DBLP DOI BibTeX RDF |
|
16 | Sébastien Merle, Juan Pedro Fernández-Palacios, Óscar González de Dios, Lluís Gifre, Ricard Vilalta, Peer Stritzinger |
Scalable and Resilient Network Traffic Engineering Using Erlang-based Path Computation Element. |
NFV-SDN |
2021 |
DBLP DOI BibTeX RDF |
|
16 | Yangjin Cheng, Muzhou Hou, Juan Wang |
An improved optimal trigonometric ELM algorithm for numerical solution to ruin probability of Erlang(2) risk model. |
Multim. Tools Appl. |
2020 |
DBLP DOI BibTeX RDF |
|
16 | Nahideh Derakhshanfard |
Erlang Based Buffer Management and Routing in Opportunistic Networks. |
Wirel. Pers. Commun. |
2020 |
DBLP DOI BibTeX RDF |
|
16 | Péter Bereczky, Dániel Horpácsi, Simon J. Thompson |
A Proof Assistant Based Formalisation of Core Erlang. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
16 | Neil J. Gunther |
Erlang Redux: An Ansatz Method for Solving the M/M/m Queue. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
16 | Francisco Javier López-Fraguas, Manuel Montenegro, Gorka Suárez-García |
Deriving overloaded success type schemes in Erlang. |
J. Comput. Lang. |
2020 |
DBLP DOI BibTeX RDF |
|
16 | Maciej Pietowski, Quoc-Tuan Vien, Truong Khoa Phan |
Optimisation of Server Selection for Maximising Utility in Erlang-Loss Systems. |
EAI Endorsed Trans. Ind. Networks Intell. Syst. |
2020 |
DBLP DOI BibTeX RDF |
|
16 | Péter Bereczky, Dániel Horpácsi, Simon J. Thompson |
A Proof Assistant Based Formalisation of a Subset of Sequential Core Erlang. |
TFP |
2020 |
DBLP DOI BibTeX RDF |
|
16 | Petro Pekh, Olena Kuzmych, Nina Zdolbitska, Nataliia Bahniuk, Iaroslav Pasternak |
Generators of Some Kinds Random Erlang Numbers and Estimation of Their Complexity. |
ACIT |
2020 |
DBLP DOI BibTeX RDF |
|
16 | Joseph R. Harrison |
Robust communications in Erlang |
|
2020 |
DOI RDF |
|
16 | David Azriel, Paul D. Feigin, Avishai Mandelbaum |
Erlang-S: A Data-Based Model of Servers in Queueing Networks. |
Manag. Sci. |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Gerardo Carreño-García, Manuel Hernández-Gutiérrez |
Actividades colaborativas en sistemas distribuidos construidos con Erlang. |
Res. Comput. Sci. |
2019 |
DBLP BibTeX RDF |
|
16 | Gregory Hawkridge, Anton Herman Basson, Karel Kruger |
Comparison of Erlang/OTP and JADE implementations for standby redundancy in a holonic controller. |
Int. J. Comput. Integr. Manuf. |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Karel Kruger, Anton Herman Basson |
Evaluation of JADE multi-agent system and Erlang holonic control implementations for a manufacturing cell. |
Int. J. Comput. Integr. Manuf. |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Hilary I. Okagbue, Muminu O. Adamu, Timothy A. Anake |
Closed Form Expressions for the Quantile Function of the Erlang Distribution Used in Engineering Models. |
Wirel. Pers. Commun. |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Rafael Caballero 0001, Enrique Martin-Martin, Adrián Riesco 0001, Salvador Tamarit |
A core Erlang semantics for declarative debugging. |
J. Log. Algebraic Methods Program. |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Banani Talukdar, Deepak Kumar, Wasim Arif |
Analytical Modelling and Performance Evaluation of a Prediction based EH-Cooperative CRN under Erlang Distribution. |
ANTS |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Thirupathaiah Vasantam, Ravi R. Mazumdar |
Fluctuations Around the Mean-Field for a Large Scale Erlang Loss System Under the SQ(d) Load Balancing. |
ITC |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Ivan Lanese, Davide Sangiorgi, Gianluigi Zavattaro |
Playing with Bisimulation in Erlang. |
Models, Languages, and Tools for Concurrent and Distributed Programming |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Anastasiia Strielkina, Bohdan Volochiy, Vyacheslav S. Kharchenko, Serhiy Volochiy |
Model of Functional Behavior of Healthcare Internet of Things Device Using Erlang Phase Method. |
ICTERI (Revised Selected Papers) |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Anastasiia Strielkina, Serhiy Volochiy, Vyacheslav S. Kharchenko |
Discrete-Continuous Stochastic Model of Insulin Pump Functioning for Health IoT System Using Erlang Phase Method. |
ICTERI Workshops |
2019 |
DBLP BibTeX RDF |
|
16 | Arif Husen, Imran Raza, Syed Asad Hussain |
Erlang Based Server Selection Scheme Using Software Defined Networking in Datacenter for Energy Conservation. |
FIT |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Laurin Prenzel, Julien Provost |
FBBeam: An Erlang-based IEC 61499 Implementation. |
INDIN |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Amit Kumar Singh, Dilip Senapati, Sujit Bebortta, Nikhil Kumar Rajput |
A Non-stationary Analysis of Erlang Loss Model. |
ICACIE (1) |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Melinda Tóth |
Adat és kiértékelési függőségi elemzés funkcionális nyelvekre- Erlang programok statikus elemzése |
|
2019 |
RDF |
|
16 | István Bozó |
Erlang programok statikus elemzése és szeletelése |
|
2019 |
RDF |
|
16 | Ivan Lanese, Naoki Nishida 0001, Adrián Palacios, Germán Vidal |
A theory of reversibility for Erlang. |
J. Log. Algebraic Methods Program. |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Rafael Caballero 0001, Enrique Martin-Martin, Adrián Riesco 0001, Salvador Tamarit |
Declarative debugging of concurrent Erlang programs. |
J. Log. Algebraic Methods Program. |
2018 |
DBLP DOI BibTeX RDF |
|
16 | William A. Massey, Jamol Pender |
Dynamic rate Erlang-A queues. |
Queueing Syst. Theory Appl. |
2018 |
DBLP DOI BibTeX RDF |
|