Abstract is missing.
- High Integrity ComputingW. J. Cullyer. 1-35
- Using Higher-order Logic for Modular Specification of Real-time Distributed SystemsGlenn H. MacEwen, David B. Skillicorn. 36-66
- Timed Specifications for the Development of Real-time SystemsJacques Jaray. 67-83
- Applications of Temporal Logic to the Specification of Real-time SystemsAmir Pnueli, Eyal Harel. 84-98
- From a Synchronous Declarative Language to a Temporal Logic Dealing with Multiform TimeDaniel Pilaud, Nicolas Halbwachs. 99-110
- A Specification Language for Reliable Real-time SystemsHanno Wupper, Jan Vytopil. 111-127
- Timed Acceptances: A Model of Time Dependent ProcessesInsup Lee, Amy E. Zwarico. 128-130
- Responsive Sequential ProcessesNeelam Soundararajan, Roger L. Costello. 131-133
- Static Analysis of Real-time Distributed SystemsLeo Yuhsiang Liu, R. K. Shyamasundar. 134-138
- Low Level Synchronisation Problems in Digital SystemsJohn A. McDermid, G. Morgan. 139-141
- Reasoning about Uncertainty in Fault-tolerant Distributed SystemsMichael J. Fischer, Lenore D. Zuck. 142-158
- Paradigms for Real-time SystemsRon Koymans, Ruurd Kuiper, Erik Zijstra. 159-174
- Towards a Theory of Replicated ProcessingLuigi V. Mancini, Giuseppe Pappalardo. 175-192
- Reasoning about Atomic ObjectsMaurice Herlihy, Jeannette M. Wing. 193-208
- A Formal Treatment of Interference in Remote Procedure CallsGiuseppe Pappalardo, Santosh K. Shrivastava. 209-227