Defining liveness
Publication type: Journal Article
Publication date: 1985-10-01
scimago Q3
wos Q4
SJR: 0.412
CiteScore: 1.9
Impact factor: 0.6
ISSN: 00200190, 18726119
Computer Science Applications
Information Systems
Theoretical Computer Science
Signal Processing
Abstract
A formal definition for liveness properties is proposed. It is argued that this definition captures the intuition that liveness properties stipulate that ``something good'''' eventually happens during execution. A topological characterization of safety and liveness is given. Every property is shown to be the intersection of a safety property and a liveness property.
Found
Nothing found, try to update filter.
Found
Nothing found, try to update filter.
Top-30
Journals
|
20
40
60
80
100
120
140
160
180
200
|
|
|
Lecture Notes in Computer Science
194 publications, 27.4%
|
|
|
Theoretical Computer Science
16 publications, 2.26%
|
|
|
Electronic Notes in Theoretical Computer Science
13 publications, 1.84%
|
|
|
IEEE Transactions on Software Engineering
12 publications, 1.69%
|
|
|
Formal Aspects of Computing
10 publications, 1.41%
|
|
|
Distributed Computing
10 publications, 1.41%
|
|
|
Information Processing Letters
8 publications, 1.13%
|
|
|
Information and Computation
8 publications, 1.13%
|
|
|
ACM Transactions on Programming Languages and Systems
7 publications, 0.99%
|
|
|
Electronic Proceedings in Theoretical Computer Science, EPTCS
7 publications, 0.99%
|
|
|
Journal of Systems and Software
6 publications, 0.85%
|
|
|
Journal of the ACM
6 publications, 0.85%
|
|
|
ACM Transactions on Information and System Security
6 publications, 0.85%
|
|
|
International Journal on Software Tools for Technology Transfer
6 publications, 0.85%
|
|
|
Formal Methods in System Design
6 publications, 0.85%
|
|
|
IEEE Transactions on Dependable and Secure Computing
6 publications, 0.85%
|
|
|
Communications of the ACM
5 publications, 0.71%
|
|
|
Science of Computer Programming
4 publications, 0.56%
|
|
|
Information and Software Technology
4 publications, 0.56%
|
|
|
ACM Computing Surveys
4 publications, 0.56%
|
|
|
ACM SIGSOFT Software Engineering Notes
4 publications, 0.56%
|
|
|
ACM SIGPLAN Notices
4 publications, 0.56%
|
|
|
ACM Transactions on Computational Logic
4 publications, 0.56%
|
|
|
Software and Systems Modeling
4 publications, 0.56%
|
|
|
Recoverable Mutual Exclusion
4 publications, 0.56%
|
|
|
IEEE Transactions on Computers
4 publications, 0.56%
|
|
|
Journal of Parallel and Distributed Computing
4 publications, 0.56%
|
|
|
ACM Transactions on Software Engineering and Methodology
3 publications, 0.42%
|
|
|
ACM SIGACT News
3 publications, 0.42%
|
|
|
20
40
60
80
100
120
140
160
180
200
|
Publishers
|
50
100
150
200
250
300
|
|
|
Springer Nature
274 publications, 38.7%
|
|
|
Institute of Electrical and Electronics Engineers (IEEE)
163 publications, 23.02%
|
|
|
Association for Computing Machinery (ACM)
101 publications, 14.27%
|
|
|
Elsevier
99 publications, 13.98%
|
|
|
Taylor & Francis
7 publications, 0.99%
|
|
|
electronic proceedings in theoretical computer science, eptcs
5 publications, 0.71%
|
|
|
SAGE
3 publications, 0.42%
|
|
|
MDPI
3 publications, 0.42%
|
|
|
Wiley
3 publications, 0.42%
|
|
|
Oxford University Press
3 publications, 0.42%
|
|
|
Walter de Gruyter
3 publications, 0.42%
|
|
|
World Scientific
2 publications, 0.28%
|
|
|
Open Publishing Association
2 publications, 0.28%
|
|
|
EDP Sciences
1 publication, 0.14%
|
|
|
Institution of Engineering and Technology (IET)
1 publication, 0.14%
|
|
|
IGI Global
1 publication, 0.14%
|
|
|
Society for Industrial and Applied Mathematics (SIAM)
1 publication, 0.14%
|
|
|
Chinese Academy of Sciences
1 publication, 0.14%
|
|
|
Pleiades Publishing
1 publication, 0.14%
|
|
|
Technischen Universitat Braunschweig
1 publication, 0.14%
|
|
|
proceedings - symposium on logic in computer science
1 publication, 0.14%
|
|
|
Cambridge University Press
1 publication, 0.14%
|
|
|
IntechOpen
1 publication, 0.14%
|
|
|
P.G. Demidov Yaroslavl State University
1 publication, 0.14%
|
|
|
50
100
150
200
250
300
|
- We do not take into account publications without a DOI.
- Statistics recalculated weekly.
Are you a researcher?
Create a profile to get free access to personal recommendations for colleagues and new articles.
Metrics
709
Total citations:
709
Citations from 2024:
36
(5.08%)
Cite this
GOST |
RIS |
BibTex |
MLA
Cite this
RIS
Copy
TY - JOUR
DO - 10.1016/0020-0190(85)90056-0
UR - https://doi.org/10.1016/0020-0190(85)90056-0
TI - Defining liveness
T2 - Information Processing Letters
AU - Alpern, Bowen
AU - Schneider, Fred B.
PY - 1985
DA - 1985/10/01
PB - Elsevier
SP - 181-185
IS - 4
VL - 21
SN - 0020-0190
SN - 1872-6119
ER -
Cite this
BibTex (up to 50 authors)
Copy
@article{1985_Alpern,
author = {Bowen Alpern and Fred B. Schneider},
title = {Defining liveness},
journal = {Information Processing Letters},
year = {1985},
volume = {21},
publisher = {Elsevier},
month = {oct},
url = {https://doi.org/10.1016/0020-0190(85)90056-0},
number = {4},
pages = {181--185},
doi = {10.1016/0020-0190(85)90056-0}
}
Cite this
MLA
Copy
Alpern, Bowen, and Fred B. Schneider. “Defining liveness.” Information Processing Letters, vol. 21, no. 4, Oct. 1985, pp. 181-185. https://doi.org/10.1016/0020-0190(85)90056-0.