Name
Abstract | ||
|---|---|---|
Timed frames are introduced as objects that can form a basis of a model theory for discrete time process algebra. An algebraic setting for timed frames is proposed and results concerning its connection with discrete time process algebra are given. The presented theory of timed frames captures the basic algebraic properties of timed transition systems for the relative time case. Further structure on timed frames is provided by adding signal inserted states and conditional transitions, thus giving a semantic basis for discrete time process algebra with propositional signals. Time conditions are introduced to cover the absolute time case. |
Year | DOI | Venue |
|---|---|---|
1996 | 10.1080/00207169608804514 | INTERNATIONAL JOURNAL OF COMPUTER MATHEMATICS |
Keywords | Field | DocType |
discrete time, frame algebra, process algebra, conditional transitions, signal inserted states, timed frames, sigma-bisimulation | Algebraic number,Algebra,Absolute time and space,Algebraic properties,Discrete time and continuous time,Model theory,Process calculus,Mathematics | Journal |
Volume | Issue | ISSN |
61 | 3-4 | 0020-7160 |
Citations | PageRank | References |
1 | 0.38 | 5 |
Authors | ||
3 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Jan A. Bergstra | 1 | 1445 | 140.42 |
| W. J. Fokkink | 2 | 1 | 0.38 |
| Cornelis A. Middelburg | 3 | 487 | 49.21 |