1. FTRTFT 1988: Warwick, UK

Mathai Joseph (Ed.): Formal Techniques in Real-Time and Fault-Tolerant Systems, Proceedings of a Symposium, Warwick, UK, September 22-23, 1988. Lecture Notes in Computer Science 331 Springer 1988, ISBN 3-540-50302-1

Invited Talk

W. J. Cullyer:
High Integrity Computing. 1-35

Session 1

Glenn H. MacEwen, David B. Skillicorn:
Using Higher-order Logic for Modular Specification of Real-time Distributed Systems. 36-66
Jacques Jaray:
Timed Specifications for the Development of Real-time Systems. 67-83

Invited Talk

Amir Pnueli, Eyal Harel:
Applications of Temporal Logic to the Specification of Real-time Systems. 84-98

Session 2

Daniel Pilaud, Nicolas Halbwachs:
From a Synchronous Declarative Language to a Temporal Logic Dealing with Multiform Time. 99-110
Hanno Wupper, Jan Vytopil:
A Specification Language for Reliable Real-time Systems. 111-127

Session 3

Insup Lee, Amy E. Zwarico:
Timed Acceptances: A Model of Time Dependent Processes. 128-130
Neelam Soundararajan, Roger L. Costello:
Responsive Sequential Processes. 131-133
Leo Yuhsiang Liu, R. K. Shyamasundar:
Static Analysis of Real-time Distributed Systems. 134-138
John A. McDermid, G. Morgan:
Low Level Synchronisation Problems in Digital Systems. 139-141

Invited Talk

Michael J. Fischer, Lenore D. Zuck:
Reasoning about Uncertainty in Fault-tolerant Distributed Systems. 142-158

Invited Talk

Ron Koymans, Ruurd Kuiper, Erik Zijstra:
Paradigms for Real-time Systems. 159-174

Session 4

Luigi V. Mancini, Giuseppe Pappalardo:
Towards a Theory of Replicated Processing. 175-192
Maurice Herlihy, Jeannette M. Wing:
Reasoning about Atomic Objects. 193-208
Giuseppe Pappalardo, Santosh K. Shrivastava:
A Formal Treatment of Interference in Remote Procedure Calls. 209-227

Last update Fri May 25 08:14:30 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page