scientific article; zbMATH DE number 5588559
From MaRDI portal
Publication:5191331
zbMath1177.68039MaRDI QIDQ5191331
Francesco Cesarini, Simon Thompson
Publication date: 30 July 2009
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Theory of programming languages (68N15) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (7)
Synthesising correct concurrent runtime monitors ⋮ Model-based fault injection for testing gray-box systems ⋮ Causal-Consistent Debugging of Distributed Erlang Programs ⋮ A theory of monitors ⋮ Erlang ⋮ Causal-Consistent Replay Reversible Semantics for Message Passing Concurrent Programs ⋮ PerformERL: a performance testing framework for Erlang
This page was built for publication: