IEEE - Institute of Electrical and Electronics Engineers, Inc. - Deterministic receptive processes are Kahn processes

Proceedings. Third ACM & IEEE International Conference on Formal Methods and Models for Co-Design

Author(s): S.A. Edwards ; O. Tardieu
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 January 2005
Conference Location: Verona, Italy
Conference Date: 11 July 2005
Page Count: 8
Page(s): 37 - 44
ISBN (Paper): 0-7803-9227-2
DOI: 10.1109/MEMCOD.2005.1487889
Regular:

Deterministic asynchronous concurrent formalisms are valuable because determinism greatly simplifies the design and validation of such systems and most concurrent formalisms are nondeterministic.... View More

Advertisement