Recursive process definitions with the state operator:

Abstract: "We investigate the defining power of finite recursive specifications over the theory with + (alternative composition and . (sequential composition and [lambda] (the state operator) over a finite set of states, and find that it is greater than that of the same theory without state ope...

Full description

Saved in:
Bibliographic Details
Main Authors: Baeten, Josephus C. M. (Author), Bergstra, Jan A. 1951- (Author)
Format: Book
Language:English
Published: Amsterdam 1989
Series:Centrum voor Wiskunde en Informatica <Amsterdam> / Department of Computer Science: Report CS 89,20
Subjects:
Summary:Abstract: "We investigate the defining power of finite recursive specifications over the theory with + (alternative composition and . (sequential composition and [lambda] (the state operator) over a finite set of states, and find that it is greater than that of the same theory without state operator. Thus, adding the state operator is an essential extension of BPA (the theory of processes over +,.). On the other hand, applying the state operator to a regular process again gives a regular process. As a limiting result in the other direction, we find that not all PA-processes (where also parallel composition is present) can be defined over BPA plus state operator."
Physical Description:15 S.

There is no print copy available.

Interlibrary loan Place Request Caution: Not in THWS collection!