IEEE - Institute of Electrical and Electronics Engineers, Inc. - Specification of coordinated objects and verification of their temporal properties

Proceedings. Seventh International Symposium on Symbolic and Numerical Algorithms for Scientific Computing

Author(s): M. Danes ; D. Lucanu ; G. Ciobanu
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 January 2005
Conference Location: Timisoara, Romania, Romania
Conference Date: 25 September 2005
ISBN (Paper): 0-7695-2453-2
DOI: 10.1109/SYNASC.2005.67
Regular:

This paper presents a specification framework for coordinated objects. Coordination is described by a process. The integration of the concurrent objects and the coordinating process is given by a... View More

Advertisement