Abstract | ||
---|---|---|
There have been several timed extensions of ACP-style process algebras with successful termination. None of them, to our knowledge, are equationally conservative (ground-)extensions of ACP with successful termination. Here, we point out some design decisions which were the possible causes of this misfortune and by taking different decisions, we propose a spectrum of timed process algebras ordered by equational conservativity ordering. |
Year | DOI | Venue |
---|---|---|
2005 | 10.1007/11601548_15 | Processes, Terms and Cycles |
Keywords | Field | DocType |
different decision,equational conservativity,successful termination,possible cause,acp-style process algebra,equationally conservative,design decision,process algebra,spectrum | Transition system,Computer science,Composition operator,Misfortune,Normalization property,Process calculus,Process theory,Calculus | Conference |
Volume | ISSN | ISBN |
3838 | 0302-9743 | 3-540-30911-X |
Citations | PageRank | References |
4 | 0.40 | 17 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
J. C. M. Baeten | 1 | 75 | 4.08 |
M. R. Mousavi | 2 | 220 | 11.42 |
M. A. Reniers | 3 | 45 | 4.07 |