Coverart for item
The Resource Formal techniques in real-time and fault-tolerant systems : proceedings of a symposium, Warwick, UK, September 22-23, 1988, M. Joseph, ed

Formal techniques in real-time and fault-tolerant systems : proceedings of a symposium, Warwick, UK, September 22-23, 1988, M. Joseph, ed

Label
Formal techniques in real-time and fault-tolerant systems : proceedings of a symposium, Warwick, UK, September 22-23, 1988
Title
Formal techniques in real-time and fault-tolerant systems
Title remainder
proceedings of a symposium, Warwick, UK, September 22-23, 1988
Statement of responsibility
M. Joseph, ed
Contributor
Subject
Genre
Language
eng
Summary
This is a collection of papers from the Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems held at the University of Warwick on 22-23 September 1988. The papers cover a variety of subjects in these areas and illustrate different approaches to modeling safety critical systems. Important notions of time, synchrony, redundancy and replication are examined using assertional reasoning, temporal logic and the logics of knowledge. The volume will be invaluable to researchers in formal modeling of concurrency, real-time and fault-tolerance, and to software engineers in safety-critical applications
Member of
Cataloging source
SCPER
Dewey number
004/.33
Illustrations
illustrations
Index
no index present
LC call number
QA76.54
LC item number
.F66 1988
Literary form
non fiction
Nature of contents
  • dictionaries
  • bibliography
http://library.link/vocab/relatedWorkOrContributorDate
1988
http://library.link/vocab/relatedWorkOrContributorName
  • Joseph, M
  • Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems
Series statement
Lecture notes in computer science
Series volume
331
http://library.link/vocab/subjectName
  • Real-time data processing
  • Fault-tolerant computing
  • Fault-tolerant computing
  • Real-time data processing
  • Computersystemen
  • Betrouwbaarheid
  • Real-time systemen
Label
Formal techniques in real-time and fault-tolerant systems : proceedings of a symposium, Warwick, UK, September 22-23, 1988, M. Joseph, ed
Instantiates
Publication
Note
Papers from the Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems held at the University of Warwick
Bibliography note
Includes bibliographical references
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
W.J. Cullyer: High Integrity Computing -- G.H. MacEwen, D.B. Skillicorn: Using Higher-order Logic for Modular Specification of Real-time Distributed Systems -- J. Jaray: Timed Specifications for the Development of Real-time Systems -- A. Pnueli, E. Harel: Applications of Temporal Logic to the Specification of Real-time Systems -- D. Pilaud, N. Halbwachs: From a Synchronous Declarative Language to a Temporal Logic Dealing with Multiform Time -- H. Wupper, J. Vytopil: A Specification Language for Reliable Real-time Systems -- I. Lee, A. Zwarico: Timed Acceptances: A Model of Time Dependent Processes -- N. Soundararajan, R.L. Costello: Responsive Sequential Processes.-. L.Y. Liu, R.K. Shyamasundar: Static Analysis of Real-time Distributed Systems -- J.A. McDermid, G. Morgan: Low Level Synchronisation Problems in Digital Systems -- M.J. Fischer, L.D. Zuck: Reasoning about Uncertainty in Fault-tolerant Distributed Sytems -- R. Koymans, R. Kuiper, E. Zijlstra: Paradigms for Real-time Systems -- L.V. Mancini, G. Pappalardo: Towards a Theory of Replicated Processing -- M.P. Herlihy, J. Wing: Reasoning about Atomic Objects -- G. Pappalardo, S.K. Shrivastava: A Formal Treatment of Interference in Remote Procedure Calls -- List of Authors and Addresses
Control code
321305249
Dimensions
unknown
Extent
1 online resource (vi, 229 pages)
Form of item
online
Isbn
9783540459651
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
10.1007/3-540-50302-1
Other physical details
illustrations.
Sound
unknown sound
Specific material designation
remote
System control number
(OCoLC)321305249
Label
Formal techniques in real-time and fault-tolerant systems : proceedings of a symposium, Warwick, UK, September 22-23, 1988, M. Joseph, ed
Publication
Note
Papers from the Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems held at the University of Warwick
Bibliography note
Includes bibliographical references
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
W.J. Cullyer: High Integrity Computing -- G.H. MacEwen, D.B. Skillicorn: Using Higher-order Logic for Modular Specification of Real-time Distributed Systems -- J. Jaray: Timed Specifications for the Development of Real-time Systems -- A. Pnueli, E. Harel: Applications of Temporal Logic to the Specification of Real-time Systems -- D. Pilaud, N. Halbwachs: From a Synchronous Declarative Language to a Temporal Logic Dealing with Multiform Time -- H. Wupper, J. Vytopil: A Specification Language for Reliable Real-time Systems -- I. Lee, A. Zwarico: Timed Acceptances: A Model of Time Dependent Processes -- N. Soundararajan, R.L. Costello: Responsive Sequential Processes.-. L.Y. Liu, R.K. Shyamasundar: Static Analysis of Real-time Distributed Systems -- J.A. McDermid, G. Morgan: Low Level Synchronisation Problems in Digital Systems -- M.J. Fischer, L.D. Zuck: Reasoning about Uncertainty in Fault-tolerant Distributed Sytems -- R. Koymans, R. Kuiper, E. Zijlstra: Paradigms for Real-time Systems -- L.V. Mancini, G. Pappalardo: Towards a Theory of Replicated Processing -- M.P. Herlihy, J. Wing: Reasoning about Atomic Objects -- G. Pappalardo, S.K. Shrivastava: A Formal Treatment of Interference in Remote Procedure Calls -- List of Authors and Addresses
Control code
321305249
Dimensions
unknown
Extent
1 online resource (vi, 229 pages)
Form of item
online
Isbn
9783540459651
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
10.1007/3-540-50302-1
Other physical details
illustrations.
Sound
unknown sound
Specific material designation
remote
System control number
(OCoLC)321305249

Library Locations

    • Ellis LibraryBorrow it
      1020 Lowry Street, Columbia, MO, 65201, US
      38.944491 -92.326012
Processing Feedback ...