A Generalization of ACP Using Belnap's Logic

Electronic Notes in Theoretical Computer Science

Volumn 162, Issue 1, 2006, Pages 287-293

  Ponse, Alban ^a   van der Zwaag, Mark B ^a  

^a UNIVERSITY OF AMSTERDAM   (Netherlands)

Author keywords

ACP; Belnap's Logic; Choice; Conditional Composition; Many Valued Logic; Process Algebra

Indexed keywords

ALGEBRA; COMPUTER PROGRAMMING LANGUAGES; PARALLEL PROCESSING SYSTEMS; SCHEDULING;

BELNAP'S LOGIC; CONDITIONAL COMPOSITION; MANY-VALUED LOGIC; PROCESS ALGEBRA;

FORMAL LOGIC;

EID: 33748892270     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2005.12.102     Document Type: Article

References (13)

1. Belnap N.D. A Useful Four-Valued Logic. In: Dunn J.M., and Epstein G. (Eds). Modern Uses of Multiple-Valued Logic (1977), D. Reidel 8-37
2. Bergstra J.A., Bethke I., and Rodenburg P.H. A propositional logic with 4 values: true, false, divergent and meaningless. Journal of Applied and Non-Classical Logics 5 2 (1995) 199-218
3. Bergstra J.A., and Klop J.-W. Process algebra for synchronous communication. Information and Control 60 1/3 (1984) 109-137
4. Bergstra J.A., and Ponse A. Kleene's three-valued logic and process algebra. Information Processing Letters 67 2 (1998) 95-103
5. Bergstra J.A., and Ponse A. Process algebra with four-valued logic. Journal of Applied Non-Classical Logics 10 1 (2000) 27-53
6. Bracha G., et al. The Java Language Specification. 2nd edition (2000), Addison Wesley
7. Fitting M.C. Kleene's three valued logics and their children. Fundamenta Informaticae 20 (1994) 113-131
8. Jones C.B. Systematic Software Development using VDM. 2nd edition (1990), Prentice-Hall International, Englewood Cliffs
9. Kleene S.C. On a notation for ordinal numbers. J. of Symbolic Logic 3 (1938) 150-155
10. McCarthy J. A basis for a mathematical theory of computation. In: Braffort P., and Hirschberg D. (Eds). Computer Programming and Formal Systems (1963), North-Holland, Amsterdam 33-70
11. A. Ponse and M.B. van der Zwaag. The logic of ACP. Report SEN-R0207, CWI, 2002
12. A. Ponse and M.B. van der Zwaag. A generalization of ACP using Belnap's logic. Submitted to Journal of Logic and Algebraic Programming
13. Verhoef C. A congruence theorem for structured operational semantics with predicates and negative premises. Nordic Journal of Computing 2 2 (1995) 274-302