IEEE - Institute of Electrical and Electronics Engineers, Inc. - Using synchronized atoms to check distributed programs

2007 International Conference on Parallel and Distributed Systems

Author(s): H.F. Li ; E. Al Maghayreh
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 December 2007
Conference Location: Hsinchu, Taiwan
Conference Date: 5 December 2007
Volume: 2
Page(s): 1 - 8
ISBN (CD): 978-1-4244-1890-9
ISBN (Paper): 978-1-4244-1889-3
ISSN (Paper): 1521-9097
DOI: 10.1109/ICPADS.2007.4447747
Regular:

The execution of a distributed program generates a large state space which needs to be checked in testing and debugging. Atoms are useful abstractions in reducing the state lattice of a... View More

Advertisement