The expressive power of delay operators in SCCS (Q5895328)
From MaRDI portal
scientific article; zbMATH DE number 4180786
Language | Label | Description | Also known as |
---|---|---|---|
English | The expressive power of delay operators in SCCS |
scientific article; zbMATH DE number 4180786 |
Statements
The expressive power of delay operators in SCCS (English)
0 references
1991
0 references
We investigate the relative expressive power of finite delay operators in Synchronous Calculus of Communicating Systems (SCCS). These were introduced by Milner and by Hennessy to study fairness properties of processes in the context of SCCS. We show that the context sensitive delay operator introduced by Hennessy is more expressive than the finite delay operator introduced by Milner. This result is closely related to recent results by Pananagden and Stark on the expressive power of fair merge in asynchronous dataflow (Kahn) networks. It indicates that the expressiveness results obtained there are not sensitive to the precise computational model since SCCS, unlike Kahn networks, is synchronous and permits expansion of recursively defined processes.
0 references
dataflow networks
0 references
delay operators
0 references