Proceedings of the Berkeley Workshop on Temporal and Real-Time Specification, August 9-10, 1990
| Title | Proceedings of the Berkeley Workshop on Temporal and Real-Time Specification, August 9-10, 1990 |
| Publication Type | Technical Report |
| Year of Publication | 1990 |
| Authors | Ladkin, P., & Vogt F. |
| Other Numbers | 624 |
| Abstract | This report contains papers presented by participants at the workshop, with an introduction, a participant list, a synopsis of the workshop, and a short summary of the problem session discussion. The workshop brought together practitioners with different interests in temporal and real-time specification, from simulation, testing and verification to theoretical issues such as relative strengths of theories. The papers concern interval logic, theories of intervals, real-time temporal logic and automata, a real-time systems simulation language, and a causality problem in robot motion planning. |
| URL | http://www.icsi.berkeley.edu/pubs/techreports/tr-90-060.pdf |
| Bibliographic Notes | ICSI Technical Report TR-90-060 |
| Abbreviated Authors | P. B. Ladkin and F. H. Vogt |
| ICSI Publication Type | Technical Report |