Automatic Verification of Erlang−Style Concurrency

Automatic Verification of Erlang−Style Concurrency

Show other versions (2)

Bibliographic Details
Main Authors:	D'Osualdo, E, Kochems, J, Ong, C
Format:	Journal article
Published:	2013

Similar Items

Automatic Verification of Erlang−Style Concurrency
by: D’Osualdo, E, et al.
Published: (2013)

Automatic Verification of Erlang−Style Concurrency
by: D'Osualdo, E, et al.
Published: (2013)

Soter: an Automatic Safety Verifier for Erlang
by: D'Osualdo, E, et al.
Published: (2012)

Soter: an automatic safety verifier for erlang
by: D'Osualdo, E, et al.
Published: (2012)

Verification of message passing concurrent systems
by: D'Osualdo, E
Published: (2015)

Concurrent programming in ERLANG /
by: Armstrong, Joe
Published: (1996)

Verification of asynchronous concurrency and the shaped stack constraint
by: Kochems, J
Published: (2014)

On hierarchical communication topologies in the pi-calculus
by: Ong, C, et al.
Published: (2016)

Automatic verification of concurrent stochastic systems
by: Kwiatkowska, M, et al.
Published: (2021)

Deciding secrecy of security protocols for an unbounded number of sessions: The case of depth-bounded processes
by: Ong, C-HL, et al.
Published: (2017)

Safety Verification of Asynchronous Pushdown Systems with Shaped Stacks
by: Kochems, J, et al.
Published: (2013)

Spectral expansion method for analysis of a system with shifted Erlang and hyper-Erlang distributions
by: Veniamin N. Tarasov, et al.
Published: (2021-09-01)

Erlang C and its application /
by: Tan Ai Ping, et al.
Published: (2010)

TOWARDS GREEN COMPUTING IN ERLANG
by: Áron Attila MÉSZÁROS, et al.
Published: (2018-06-01)

An Erlanger program for combinatorial geometries.
by: Kung, Joseph Pee Sin
Published: (2015)

Stein's method for steady-state diffusion approximations: An introduction through the Erlang-A and Erlang-C models
by: Anton Braverman, et al.
Published: (2016-12-01)

Erlang Strength Model for Exponential Effects
by: Gökdere Gökhan, et al.
Published: (2015-12-01)

An Erlang Implementation of Multiparty Session Actors
by: Simon Fowler
Published: (2016-08-01)

Static analysis of function calls in Erlang
by: Dániel Horpácsi, et al.
Published: (2013-06-01)

The Extended Erlang-Truncated Exponential distribution: Properties and application to rainfall data
by: I.E. Okorie, et al.
Published: (2017-06-01)

Modeling of cloud system using Erlang formulas
by: Firdhous, Mohamed, et al.
Published: (2011)

Teaching Erlang through the Internet: An Experience Report
by: Stephen Adams
Published: (2018-05-01)

Computing the asymptotic expansion of the median of the erlang distribution
by: Pedro Jodr´a
Published: (2012-04-01)

Discrete stochastic analogs of Erlang epidemic models
by: Wayne M. Getz, et al.
Published: (2018-01-01)

Delay model based on shifted hyperexponential and Erlang distributions
by: Veniamin N. Tarasov, et al.
Published: (2022-03-01)

INCREMENTAL DECOMPILATION OF LOOP-FREE BINARY CODE: ERLANG
by: Gregory MORSE, et al.
Published: (2018-12-01)

Modified Erlang Loss System for Cognitive Wireless Networks
by: Evsey Morozov, et al.
Published: (2022-06-01)

Erlang C Formula and its Use in the Call Centers
by: Erik Chromy, et al.
Published: (2011-01-01)

The Approximation of Sum of Independent Distributions by the Erlang Distribution Function
by: Antanas Karoblis
Published: (2002-06-01)

Erlang-Based Sensor Network Management For Heterogeneous Devices
by: Michal Niec, et al.
Published: (2012-01-01)

Erlang-Based Software Update Platform For Mobile Devices
by: Malgorzata Wielgus, et al.
Published: (2013-01-01)

The Compound DGL/Erlang Distribution in the Collective Risk Model || La distribución compuesta DGL/Erlang en el modelo de riesgo colectivo
by: Gómez Déniz, Emilio, et al.
Published: (2013-01-01)

Specification and verification of concurrent systems /
by: Rattray, C. (Charles), 1938-
Published: (1990)

Effect of Hybridization on Carcass Traits and Meat Quality of Erlang Mountainous Chickens
by: H. D. Yin, et al.
Published: (2013-10-01)

Automatic verification and strategy synthesis for zero-sum and equilibria properties of concurrent stochastic games
by: Santos, GHR
Published: (2020)

Spectral solution for a delay system with hyper-Erlang distributions
by: Veniamin N. Tarasov, et al.
Published: (2022-12-01)

Mathematical delay model based on QS with hyperexponential and Erlang distributions
by: Veniamin N. Tarasov
Published: (2022-03-01)

Spectral gap of the Erlang A model in the Halfin-Whitt regime
by: Johan S.H. van Leeuwaarden, et al.
Published: (2012-01-01)

Bounded Symbolic Execution for Runtime Error Detection of Erlang Programs
by: Emanuele De Angelis, et al.
Published: (2018-09-01)

Automated verification of concurrent stochastic games
by: Kwiatkowska, M, et al.
Published: (2018)