메뉴 건너뛰기




Volumn 1687 LNCS, Issue , 1999, Pages 511-527

Checking progress with action priority: Is it fair?

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

EID: 84887426290     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-48166-4_31     Document Type: Conference Paper
Times cited : (20)

References (30)
  • 3
    • 0000627069 scopus 로고
    • Appraising fairness in languages for distributed programming
    • Apt, K.R., Francez, N., and Katz, S. "Appraising fairness in languages for distributed programming, " Distributed Computing, vol. 2, pp. 226-241, 1988.
    • (1988) Distributed Computing , vol.2 , pp. 226-241
    • Apt, K.R.1    Francez, N.2    Katz, S.3
  • 8
    • 0022706656 scopus 로고
    • Automatic verification of finite state concurrent systems using temporal logic specifications
    • Clarke, E.M., Emerson, E.A., and Sistla, A.P. "Automatic Verification of Finite State Concurrent Systems Using Temporal Logic Specifications, " ACM Transactions on Programming Languages and Systems, vol. 8(2), pp. 244-263, 1986.
    • (1986) ACM Transactions on Programming Languages and Systems , vol.8 , Issue.2 , pp. 244-263
    • Clarke, E.M.1    Emerson, E.A.2    Sistla, A.P.3
  • 9
    • 0000289556 scopus 로고    scopus 로고
    • Formal methods: State of the art and future directions
    • December
    • Clarke, E.M. and Wing, J.M. "Formal Methods: State of the Art and Future Directions, " ACM Computing Surveys, vol. 28(4), December 1996, pp. 626-643.
    • (1996) ACM Computing Surveys , vol.28 , Issue.4 , pp. 626-643
    • Clarke, E.M.1    Wing, J.M.2
  • 10
    • 0025464714 scopus 로고
    • Priorities in process algebra
    • July/August
    • Cleaveland, R. and Hennessy, M. "Priorities in process algebra, " Information and Computation, vol. 87(1/2), pp. 58-77, July/August 1990.
    • (1990) Information and Computation , vol.87 , Issue.1-2 , pp. 58-77
    • Cleaveland, R.1    Hennessy, M.2
  • 14
    • 0011852873 scopus 로고    scopus 로고
    • Analysing the behaviour of distributed systems using tracta
    • special issue on Automated Analysis of Software, vol., January, R. Cleaveland and D. Jackson, Eds
    • Giannakopoulou, D., Kramer, J., and Cheung, S.C. "Analysing the Behaviour of Distributed Systems using Tracta, " Journal of Automated Software Engineering, special issue on Automated Analysis of Software, vol. 6(1), January 1999. R. Cleaveland and D. Jackson, Eds.
    • (1999) Journal of Automated Software Engineering , vol.6 , Issue.1
    • Giannakopoulou, D.1    Kramer, J.2    Cheung, S.C.3
  • 21
    • 85034565451 scopus 로고
    • Impartiality, justice and fairness: The ethics of concurrent termination
    • Acre (Akko), Israel, July 13-17, Lecture Notes in Computer Science 115, S. Even and O. Kariv, Eds
    • Lehmann, D., Pnueli, A., and Stavi, J. "Impartiality, Justice and Fairness: The ethics of concurrent termination, " in Proc. of the 8th International Colloquium on Automata, Languages and Programming, Acre (Akko), Israel, July 13-17, 1981. Lecture Notes in Computer Science 115, pp. 264-277. S. Even and O. Kariv, Eds.
    • (1981) Proc. of the 8th International Colloquium on Automata, Languages and Programming , pp. 264-277
    • Lehmann, D.1    Pnueli, A.2    Stavi, J.3
  • 25
    • 33746779228 scopus 로고
    • Divergence and fair testing
    • Szeged, Hungary, July, Lecture Notes in Computer Science 944, Z. Fulop and F. Gecseg, Eds
    • Natarajan, V. and Cleaveland, R. "Divergence and Fair Testing, " in Proc. of the Automata, Languages and Programming (ICALP '95), Szeged, Hungary, July 1995. Lecture Notes in Computer Science 944, pp. 648-659. Z. Fulop and F. Gecseg, Eds.
    • (1995) Proc. of the Automata, Languages and Programming (ICALP '95) , pp. 648-659
    • Natarajan, V.1    Cleaveland, R.2
  • 26
    • 84887500710 scopus 로고
    • Approaches to priority in process algebra
    • Draft, Imperial College, London, November
    • Phillips, I. "Approaches to priority in process algebra, " Draft Report, Dept. of Computing, Imperial College, London, November 1994.
    • (1994) Report, Dept. of Computing
    • Phillips, I.1
  • 27
    • 0020786959 scopus 로고
    • Fairness and related properties in transition systems - A temporal logic to deal with fairness
    • Queille, J.P. and Sifakis, J. "Fairness and Related Properties in Transition Systems - A Temporal Logic to Deal with Fairness, " Acta Informatica, vol. 19, pp. 195-220, 1983.
    • (1983) Acta Informatica , vol.19 , pp. 195-220
    • Queille, J.P.1    Sifakis, J.2
  • 29
    • 0001790593 scopus 로고
    • Depth-first search and linear graph algorithms
    • Tarjan, R. "Depth-First Search and Linear Graph Algorithms, " SIAM Journal of Computing, vol. 1, pp. 146-160, 1972.
    • (1972) SIAM Journal of Computing , vol.1 , pp. 146-160
    • Tarjan, R.1


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.