default search action

combined dblp search
author search
venue search
publication search

ask others

1. FTRTFT 1988: Warwick, UK

> Home > Conferences and Workshops > FTRTFT

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/ftrtft/1988
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ftrtft/1988
Mathai Joseph:
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

- view
  authority control:
- export record
  dblp key:
  - conf/ftrtft/Cullyer88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ftrtft/Cullyer88
W. J. Cullyer:
High Integrity Computing. 1-35

Session 1

- view
  authority control:
- export record
  dblp key:
  - conf/ftrtft/MacEwenS88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ftrtft/MacEwenS88
Glenn H. MacEwen, David B. Skillicorn:
Using Higher-order Logic for Modular Specification of Real-time Distributed Systems. 36-66
- view
  authority control:
- export record
  dblp key:
  - conf/ftrtft/Jaray88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ftrtft/Jaray88
Jacques Jaray:
Timed Specifications for the Development of Real-time Systems. 67-83

Invited Talk

- view
  authority control:
- export record
  dblp key:
  - conf/ftrtft/PnueliH88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ftrtft/PnueliH88
Amir Pnueli, Eyal Harel:
Applications of Temporal Logic to the Specification of Real-time Systems. 84-98

Session 2

- view
  authority control:
- export record
  dblp key:
  - conf/ftrtft/PilaudH88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ftrtft/PilaudH88
Daniel Pilaud, Nicolas Halbwachs:
From a Synchronous Declarative Language to a Temporal Logic Dealing with Multiform Time. 99-110
- view
  authority control:
- export record
  dblp key:
  - conf/ftrtft/WupperV88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ftrtft/WupperV88
Hanno Wupper, Jan Vytopil:
A Specification Language for Reliable Real-time Systems. 111-127

Session 3

- view
  authority control:
- export record
  dblp key:
  - conf/ftrtft/LeeZ88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ftrtft/LeeZ88
Insup Lee, Amy E. Zwarico:
Timed Acceptances: A Model of Time Dependent Processes. 128-130
- view
  authority control:
- export record
  dblp key:
  - conf/ftrtft/SoundararajanC88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ftrtft/SoundararajanC88
Neelam Soundararajan, Roger L. Costello:
Responsive Sequential Processes. 131-133
- view
  authority control:
- export record
  dblp key:
  - conf/ftrtft/LiuS88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ftrtft/LiuS88
Leo Yuhsiang Liu, R. K. Shyamasundar:
Static Analysis of Real-time Distributed Systems. 134-138
- view
  authority control:
- export record
  dblp key:
  - conf/ftrtft/McDermidM88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ftrtft/McDermidM88
John Alexander McDermid, Gary Morgan:
Low Level Synchronisation Problems in Digital Systems. 139-141

Invited Talk

- view
  authority control:
- export record
  dblp key:
  - conf/ftrtft/FischerZ88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ftrtft/FischerZ88
Michael J. Fischer, Lenore D. Zuck:
Reasoning about Uncertainty in Fault-tolerant Distributed Systems. 142-158

Invited Talk

- view
  authority control:
- export record
  dblp key:
  - conf/ftrtft/KoymansKZ88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ftrtft/KoymansKZ88
Ron Koymans, Ruurd Kuiper, Erik Zijstra:
Paradigms for Real-time Systems. 159-174

Session 4

- view
  authority control:
- export record
  dblp key:
  - conf/ftrtft/ManciniP88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ftrtft/ManciniP88
Luigi V. Mancini, Giuseppe Pappalardo:
Towards a Theory of Replicated Processing. 175-192
- view
  authority control:
- export record
  dblp key:
  - conf/ftrtft/HerlihyW88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ftrtft/HerlihyW88
Maurice Herlihy, Jeannette M. Wing:
Reasoning about Atomic Objects. 193-208
- view
  authority control:
- export record
  dblp key:
  - conf/ftrtft/PappalardoS88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ftrtft/PappalardoS88
Giuseppe Pappalardo, Santosh K. Shrivastava:
A Formal Treatment of Interference in Remote Procedure Calls. 209-227

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.