### Abstract

In this paper we consider we consider a variant of the process algebra ACP with rational time and integration. We shall indicate a subdomain of regular processes for which an Elimination Theorem holds: for each pair of processes p, q in this class there is a process z in this class such that p∥q and z have the same behaviour. Furthermore, we indicate by some simple examples that if the subdomain is restricted or enlarged, then the elimination result is lost. The subdomain has a strong link with the model of timed automata of Alur and Dill.

Original language | English |
---|---|

Title of host publication | CONCUR 1993 - 4th International Conference on Concurrency Theory, Proceedings |

Editors | Eike Best |

Publisher | Springer - Verlag |

Pages | 432-446 |

Number of pages | 15 |

ISBN (Print) | 9783540572084 |

Publication status | Published - 1 Jan 1993 |

Event | 4th International Conference on Concurrency Theory, CONCUR 1993 - Hildesheim, Germany Duration: 23 Aug 1993 → 26 Aug 1993 |

### Publication series

Name | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
---|---|

Volume | 715 LNCS |

ISSN (Print) | 0302-9743 |

ISSN (Electronic) | 1611-3349 |

### Conference

Conference | 4th International Conference on Concurrency Theory, CONCUR 1993 |
---|---|

Country | Germany |

City | Hildesheim |

Period | 23/08/93 → 26/08/93 |

### Fingerprint

### Keywords

- ACP
- Elimination Theorem
- Integration
- Regular process
- Relative time

### Cite this

*CONCUR 1993 - 4th International Conference on Concurrency Theory, Proceedings*(pp. 432-446). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 715 LNCS). Springer - Verlag.

}

*CONCUR 1993 - 4th International Conference on Concurrency Theory, Proceedings.*Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 715 LNCS, Springer - Verlag, pp. 432-446, 4th International Conference on Concurrency Theory, CONCUR 1993, Hildesheim, Germany, 23/08/93.

**An elimination theorem for regular behaviours with integration.** / Fokkink, Willem Jan.

Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - An elimination theorem for regular behaviours with integration

AU - Fokkink, Willem Jan

PY - 1993/1/1

Y1 - 1993/1/1

N2 - In this paper we consider we consider a variant of the process algebra ACP with rational time and integration. We shall indicate a subdomain of regular processes for which an Elimination Theorem holds: for each pair of processes p, q in this class there is a process z in this class such that p∥q and z have the same behaviour. Furthermore, we indicate by some simple examples that if the subdomain is restricted or enlarged, then the elimination result is lost. The subdomain has a strong link with the model of timed automata of Alur and Dill.

AB - In this paper we consider we consider a variant of the process algebra ACP with rational time and integration. We shall indicate a subdomain of regular processes for which an Elimination Theorem holds: for each pair of processes p, q in this class there is a process z in this class such that p∥q and z have the same behaviour. Furthermore, we indicate by some simple examples that if the subdomain is restricted or enlarged, then the elimination result is lost. The subdomain has a strong link with the model of timed automata of Alur and Dill.

KW - ACP

KW - Elimination Theorem

KW - Integration

KW - Regular process

KW - Relative time

UR - http://www.scopus.com/inward/record.url?scp=84925057286&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84925057286&partnerID=8YFLogxK

M3 - Conference contribution

SN - 9783540572084

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 432

EP - 446

BT - CONCUR 1993 - 4th International Conference on Concurrency Theory, Proceedings

A2 - Best, Eike

PB - Springer - Verlag

ER -