![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
1. FTRTFT 1988: Warwick, UK
- 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
- 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 Alexander McDermid, Gary 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
![](https://dblp.org/img/cog.dark.24x24.png)
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.