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. Springer 1988 Lecture Notes in Computer Science 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
Session 3
Invited Talk
- Michael J. Fischer, Lenore D. Zuck: Reasoning about Uncertainty in Fault-tolerant Distributed Systems. 142-158
Invited Talk
Session 4
- Giuseppe Pappalardo, Santosh K. Shrivastava: A Formal Treatment of Interference in Remote Procedure Calls. 209-227
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-18T211851 by the dblp team