IEEE - Institute of Electrical and Electronics Engineers, Inc. - Towards a formal framework for developing concurrent programs: Modeling dynamic behavior

2010 IEEE/ACS International Conference on Computer Systems and Applications (AICCSA)

Author(s): Haghighi, H.
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 May 2010
Conference Location: Hammamet, Tunisia, Tunisia
Conference Date: 16 May 2010
Page(s): 1 - 8
ISBN (CD): 978-1-4244-7715-9
ISBN (Electronic): 978-1-4244-7717-3
ISBN (Paper): 978-1-4244-7716-6
DOI: 10.1109/AICCSA.2010.5586965
Regular:

It is now widely accepted that programming concurrent software is a complex, error-prone task. Therefore, there is a big interest in the specification, verification and development of concurrent... View More

Advertisement