Proving Failure-Free Properties of Concurrent Systems Using Temporal Logic

Saved in:
Bibliographic Details
Published in:ACM transactions on programming languages and systems 1984-04, Vol.6 (2), p.239-253
Main Author: Karp, Richard Alan
Format: Article
Language:English
Subjects:
Applied sciences
Artificial intelligence
Computer science
control theory
systems
Computer systems and distributed systems. User interface
Computing methodologies
Concurrent computing methodologies
Concurrent programming languages
Contextual software domains
Correctness
Exact sciences and technology
General programming languages
Knowledge representation and reasoning
Language types
Logic
Modal and temporal logics
Operating systems
Process management
Proof theory
Software
Software and its engineering
Software creation and management
Software development methods
Software development process management
Software functional properties
Software notations and tools
Software organization and properties
Temporal reasoning
Theory of computation
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:
ISSN:0164-0925
1558-4593
DOI:10.1145/2993.357245