SCOPUS 정보 검색 플랫폼

Volumn 280, Issue 1-2, 2002, Pages 3-34

CSP, partial automata, and coalgebras

Author keywords

Coalgebras; Communicating sequential processes; Final automata; Partial automata

Indexed keywords

ALGEBRA; MATHEMATICAL MODELS; RECURSIVE FUNCTIONS; SEMANTICS;

COMMUNICATING SEQUENTIAL PROCESSES (CSP);

AUTOMATA THEORY;

EID: 0037198444 PISSN: 03043975 EISSN: None Source Type: Journal
DOI: 10.1016/S0304-3975(01)00019-6 Document Type: Conference Paper

Times cited : (8)

References (14)

2
- 0003395304
- A hidden agenda
- Tech. Report CS97-538, UCSD, Dept. Computer Science & Eng., May, to appear
- (1997) Theoret. Comput. Sci.
- Goguen, J.¹ Malcom, G.²

3
- 0004189966
- MIT Press, Cambridge, MA
- (1988) Algebraic Theory of Processes
- Hennessy, M.¹

4
- 0003843704
- Prentice-Hall, Englewood Cliffs, NJ
- (1985) Communicating Sequential Processes
- Hoare, C.A.R.¹

5
- 84958667967
- Unification of theories: A challenge for computing science
- M. Haveraaen, O. Owe, O.-J. Dahl (Eds.), Recent Trends in Data Type Specification, 11th Workshop on Specification of Abstract Data Types, WADT11, Oslo Norway, September, Springer, Berlin
- (1995) Lecture Notes in Computer Science , vol.1130 , pp. 49-57
- Hoare, C.A.R.¹

6
- 0000892681
- A tutorial on (co)algebras and (co)induction
- (1997) Bull. of EATCS , vol.62 , pp. 222-259
- Jacobs, B.¹ Rutten, J.²

7
- 0003954103
- Prentice-Hall International, Englewood Cliffs, NJ
- (1989) Communication and Concurrency
- Milner, R.¹

10
- 84945953914
- Automata and coinduction (an exercise in coalgebra)
- Tech. Report SEN-R9803, CWI, 1998. Also in the Proc. CONCUR '98, Springer, Berlin
- (1998) Lecture Notes in Computer Science , vol.1466 , pp. 194-218
- Rutten, J.J.M.M.¹

11
- 0000874096
- The category theoretic solution of recursive domain equations
- (1982) SIAM J. Comput. , vol.11 , pp. 761-783
- Smyth, M.B.¹ Plotkin, G.D.²

13
- 0002659052
- Models for concurrency
- S. Abramsky, D.M. Gabbay, T.S.E. Maibaum (Eds.), Oxford Science Publications, Oxford
- (1995) Handbook of Logic in Computer Science , vol.4 , pp. 1-148
- Winskel, G.¹ Nielsen, M.²

14
- 18944378967
- A coalgebraic introduction to CSP
- B. Jacobs, J. Rutten (Eds.), Amsterdam, The Netherlands. Electronic Notes of TCS, Elsevier Science, Amsterdam
- (1999) Proc. 2nd Workshop on Coalgebraic Methods in Computer Science (CMCS'99) , vol.19
- Wolter, U.¹

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