메뉴 건너뛰기




Volumn 67, Issue 2, 1998, Pages 95-103

Kleene's three-valued logic and process algebra

Author keywords

Concurrency; Design of algorithms; Formal languages; Guarded command; Process algebra; Three valued logic

Indexed keywords

ALGORITHMS; BOOLEAN ALGEBRA; COMPUTATIONAL LINGUISTICS; FORMAL LANGUAGES;

EID: 0032117360     PISSN: 00200190     EISSN: None     Source Type: Journal    
DOI: 10.1016/s0020-0190(98)00083-0     Document Type: Article
Times cited : (13)

References (16)
  • 1
    • 84976766710 scopus 로고
    • Ten years of Hoare's logic, a survey, part I
    • K.R. Apt, Ten years of Hoare's logic, a survey, Part I, ACM Trans. Programming Languages Systems 3 (4) (1981) 431-483.
    • (1981) ACM Trans. Programming Languages Systems , vol.3 , Issue.4 , pp. 431-483
    • Apt, K.R.1
  • 2
    • 0040398154 scopus 로고
    • Process algebra with signals and conditions
    • M. Broy (Ed.), Programming and Mathematical Method, Proceedings Summer School Marktoberdorf, Springer, Berlin
    • J.C.M. Baeten, J.A. Bergstra, Process algebra with signals and conditions, in: M. Broy (Ed.), Programming and Mathematical Method, Proceedings Summer School Marktoberdorf, 1990 NATO ASI Series F, Springer, Berlin, 1992, pp. 273-323.
    • (1992) 1990 NATO ASI Series F , pp. 273-323
    • Baeten, J.C.M.1    Bergstra, J.A.2
  • 3
    • 0000147041 scopus 로고
    • A prepositional logic with 4 values: True, false, divergent and meaningless
    • J.A. Bergstra, I. Bethke, P.H. Rodenburg, A prepositional logic with 4 values: true, false, divergent and meaningless, J. Appl. Non-Classical Logics 5 (1995) 199-217.
    • (1995) J. Appl. Non-classical Logics , vol.5 , pp. 199-217
    • Bergstra, J.A.1    Bethke, I.2    Rodenburg, P.H.3
  • 4
    • 0000058143 scopus 로고
    • A logic covering undefinedness in program proofs
    • H. Barringer, J.H. Cheng, C.B. Jones, A logic covering undefinedness in program proofs, Acta Inform. 21 (1984) 251-269.
    • (1984) Acta Inform. , vol.21 , pp. 251-269
    • Barringer, H.1    Cheng, J.H.2    Jones, C.B.3
  • 5
    • 0021465083 scopus 로고
    • A theory of communicating sequential processes
    • S.D. Brookes, C.A.R. Hoare, A.W. Roscoe, A theory of communicating sequential processes, J. ACM 31 (3) (1984) 560-599.
    • (1984) J. ACM , vol.31 , Issue.3 , pp. 560-599
    • Brookes, S.D.1    Hoare, C.A.R.2    Roscoe, A.W.3
  • 6
    • 0041773500 scopus 로고
    • The algebra of recursively defined processes and the algebra of regular processes
    • A. Ponse, C. Verhoef, S.F.M. van Vlijmen (Eds.), Springer, Berlin
    • J.A. Bergstra, J.W. Klop, The algebra of recursively defined processes and the algebra of regular processes, in: A. Ponse, C. Verhoef, S.F.M. van Vlijmen (Eds.), Algebra of Communicating Processes, Utrecht 1994, Workshops in Computing, Springer, Berlin, 1995, pp. 1-25. An extended abstract appeared in: J. Paredaens (Ed.), Proceedings 11th ICALP, Antwerp, Lecture Notes in Computer Science, Vol. 172, Springer, Berlin, 1984, pp. 82-95.
    • (1995) Algebra of Communicating Processes, Utrecht 1994, Workshops in Computing , pp. 1-25
    • Bergstra, J.A.1    Klop, J.W.2
  • 7
    • 0042274337 scopus 로고
    • An extended abstract appeared Proceedings 11th ICALP, Antwerp, Springer, Berlin
    • J.A. Bergstra, J.W. Klop, The algebra of recursively defined processes and the algebra of regular processes, in: A. Ponse, C. Verhoef, S.F.M. van Vlijmen (Eds.), Algebra of Communicating Processes, Utrecht 1994, Workshops in Computing, Springer, Berlin, 1995, pp. 1-25. An extended abstract appeared in: J. Paredaens (Ed.), Proceedings 11th ICALP, Antwerp, Lecture Notes in Computer Science, Vol. 172, Springer, Berlin, 1984, pp. 82-95.
    • (1984) Lecture Notes in Computer Science , vol.172 , pp. 82-95
    • Paredaens, J.1
  • 8
    • 0021291978 scopus 로고
    • Process algebra for synchronous communication
    • J.A. Bergstra, J.W. Klop, Process algebra for synchronous communication, Inform. and Comput. 60 (1-3) (1984) 109-137.
    • (1984) Inform. and Comput. , vol.60 , Issue.1-3 , pp. 109-137
    • Bergstra, J.A.1    Klop, J.W.2
  • 10
    • 0001819869 scopus 로고
    • A congruence theorem for structured operational semantics with predicates
    • E. Best (Ed.), Proceedings CONCUR 93, Hildesheim, Germany, Springer, Berlin
    • J.C.M. Baeten, C. Verhoef, A congruence theorem for structured operational semantics with predicates, in: E. Best (Ed.), Proceedings CONCUR 93, Hildesheim, Germany, Lecture Notes in Computer Science, Vol. 715, Springer, Berlin, 1993, pp. 477-492.
    • (1993) Lecture Notes in Computer Science , vol.715 , pp. 477-492
    • Baeten, J.C.M.1    Verhoef, C.2
  • 12
  • 13
    • 0000198242 scopus 로고
    • Structured operational semantics and bisimulation as a congruence
    • J.F. Groote, F.W. Vaandrager, Structured operational semantics and bisimulation as a congruence, Inform. and Comput. 100 (2) (1992) 202-260.
    • (1992) Inform. and Comput. , vol.100 , Issue.2 , pp. 202-260
    • Groote, J.F.1    Vaandrager, F.W.2
  • 14
    • 21844526214 scopus 로고
    • A typed logic of partial functions reconstructed classically
    • C.B. Jones, C.A. Middelburg, A typed logic of partial functions reconstructed classically, Acta Inform. 31 (5) (1994) 399-430.
    • (1994) Acta Inform. , vol.31 , Issue.5 , pp. 399-430
    • Jones, C.B.1    Middelburg, C.A.2
  • 15
    • 84947835661 scopus 로고
    • Lattices with involution
    • J. Kalman, Lattices with involution, Trans. Amer. Math. Soc. 87 (1958) 485-491.
    • (1958) Trans. Amer. Math. Soc. , vol.87 , pp. 485-491
    • Kalman, J.1
  • 16
    • 0000236696 scopus 로고
    • On a notation for ordinal numbers
    • S.C. Kleene, On a notation for ordinal numbers, J. Symbolic Logic 3 (1938) 150-155.
    • (1938) J. Symbolic Logic , vol.3 , pp. 150-155
    • Kleene, S.C.1


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