Test-driven development of concurrent programs using concuerror.

Alkis Gotovos Maria Christakis Konstantinos Sagonas

Published in: Erlang Workshop (2011)

Keyphrases

concurrent programs
test driven development
software development
concurrent programming
process algebra
concurrent processes
software engineering
general purpose
web applications
distributed systems
software systems
petri net
formal specification
asynchronous circuits