SCOPUS 정보 검색 플랫폼

Volumn 80, Issue 1, 2001, Pages 41-49

Process algebra and conditional composition

Author keywords

Conditional composition; Five valued logic; Process algebra

Indexed keywords

ALGEBRA; ALGORITHMS; ERROR ANALYSIS; FORMAL LOGIC; SEMANTICS;

PROCESS ALGEBRA;

INFORMATION ANALYSIS;

EID: 0035888410 PISSN: 00200190 EISSN: None Source Type: Journal
DOI: 10.1016/S0020-0190(01)00216-2 Document Type: Article

Times cited : (6)

References (16)

2
- 0000147041
- A propositional logic with 4 values: True, false, divergent and meaningless
- (1995) J. Appl. Non-Classical Logics , vol.5 , pp. 199-217
- Bergstra, J.A.¹ Bethke, I.² Rodenburg, P.H.³

3
- 0021291978
- Process algebra for synchronous communication
- (1984) Inform. and Control , vol.60 , Issue.1-3 , pp. 109-137
- Bergstra, J.A.¹ Klop, J.W.²

4
- 85015583595
- Bochvar-McCarthy logic and process algebra
- (1998) Notre Dame J. Formal Logic , vol.39 , Issue.4 , pp. 464-484
- Bergstra, J.A.¹ Ponse, A.²

5
- 0003796788
- Process algebra with four-valued logic
- (2000) J. Appl. Non-Classical Logics , vol.10 , Issue.1 , pp. 27-53
- Bergstra, J.A.¹ Ponse, A.²

6
- 0003801322
- Process algebra with five-valued conditions
- C.S. Calude, M.J. Dinneen (Eds.), Combinatorics, Complexity, and Logic, Springer, Singapore
- (1999) Australian Computer Science Communications , vol.21 , pp. 128-143
- Bergstra, J.A.¹ Ponse, A.²

7
- 0016543936
- Guarded commands, nondeterminacy and formal derivation of programs
- (1975) Comm. ACM , vol.18 , Issue.8 , pp. 453-457
- Dijkstra, E.W.¹

9
- 0027666919
- Transition system specifications with negative premises
- (1993) Theoret. Comput. Sci. , vol.118 , Issue.2 , pp. 263-299
- Groote, J.F.¹

11
- 0000236696
- On a notation for ordinal numbers
- (1938) J. Symbolic Logic , vol.3 , pp. 150-155
- Kleene, S.C.¹

12
- 77956967645
- A basis for a mathematical theory of computation
- P. Braffort, D. Hirshberg (Eds.), North-Holland, Amsterdam
- (1963) Computer Programming and Formal Systems , pp. 33-70
- McCarthy, J.¹

13
- 0014638440
- Some philosophical problems from the standpoint of artificial intelligence
- B. Meltzer, D. Michie (Eds.), Edinburgh University Press, Reprinted in: V. Lifschitz (Ed.), Formalization of Common Sense, Papers by John McCarthy, Ablex, Norwood, NJ
- (1969) Machine Intelligence , vol.4 , pp. 463-502
- McCarthy, J.¹ Hayes, P.J.²

14
- 0003804768
- Report P9616, University of Amsterdam
- (1996) A complete system of four-valued logic
- Rodenburg, P.H.¹

16
- 0000119344
- A congruence theorem for structured operational semantics with predicates and negative premises
- (1995) Nordic J. Comput. , vol.2 , Issue.2 , pp. 274-302
- Verhoef, C.¹

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