SCOPUS 정보 검색 플랫폼

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1742, Issue , 1999, Pages 87-100

A framework for formal reasoning about open distributed systems?

(2) Fredlund, Lars Åke a Gurov, Dilian a

a SWEDISH INSTITUTE OF COMPUTER SCIENCE (Sweden)

Author keywords

[No Author keywords available]

Indexed keywords

CALCULATIONS; SEMANTICS; SPECIFICATION LANGUAGES;

DISTRIBUTED PROGRAM; DYNAMIC NATURE; EXPRESSIVE POWER; FORMAL REASONING; IMPLEMENTATION LANGUAGES; OPEN DISTRIBUTED SYSTEMS; PROOF RULES; PROOF SYSTEM;

COMPUTATIONAL LINGUISTICS;

EID: 84958763230 PISSN: 03029743 EISSN: 16113349 Source Type: Book Series
DOI: 10.1007/3-540-46674-6_9 Document Type: Conference Paper

Times cited : (3)

References (11)

1
- 84958791717
- Concurrent Programming in Erlang (Second Edition). Prentice-Hall International (UK) Ltd
- J. Armstrong, R. Virding, C. Wikström, and M. Williams. Concurrent Programming in Erlang (Second Edition). Prentice-Hall International (UK) Ltd., 1996
- (1996)
- Armstrong, J.¹ Virding, R.² Wikström, C.³ Williams, M.⁴

2
- 0000994825
- Verifying a distributed database lookup manager written in Erlang
- T. Arts and M. Dam. Verifying a distributed database lookup manager written in Erlang. To appear in Proc. Formal Methods Europe'99, 1999
- (1999) Proc. Formal Methods Europe'99
- Arts, T.¹ Dam, M.²

3
- 22044450102
- System description: Verification of distributed Erlang programs
- T. Arts, M. Dam, L.-Å. Fredlund, and D. Gurov. System description: Verification of distributed Erlang programs. In Proc. CADE'98, Lecture Notes in Artificial Intelligence, vol. 1421, pp. 38-41, 1998
- (1998) Proc. CADE'98, Lecture Notes in Artificial Intelligence , vol.1421 , pp. 38-41
- Arts, T.¹ Dam, M.² Fredlund, L.-Å.³ Gurov, D.⁴

4
- 0031649001
- AXD 301-a new generation ATM switching system
- S. Blau and J. Rooth. AXD 301-a new generation ATM switching system. Ericsson Review, 1:10-17, 1998
- (1998) Ericsson Review , vol.1 , pp. 10-17
- Blau, S.¹ Rooth, J.²

5
- 84949199110
- Toward parametric verification of open distributed systems
- H. Langmaack, A. Pnueli and W.-P. de Roever (eds.), Springer
- M. Dam, L.-Å. Fredlund, and D. Gurov. Toward parametric verification of open distributed systems. In Compositionality: The Significant Difference, H. Langmaack, A. Pnueli and W.-P. de Roever (eds.), Springer, 1536:150-185, 1998
- (1998) Compositionality: The Significant Difference , vol.1536 , pp. 150-185
- Dam, M.¹ Fredlund, L.-Å.² Gurov, D.³

6
- 84944120423
- Unpublished manuscript, Swedish Institute of Computer Science
- L. Fredlund. Towards a semantics for Erlang. Unpublished manuscript, Swedish Institute of Computer Science, 1999
- (1999) Towards a Semantics for Erlang
- Fredlund, L.¹

7
- 0003843704
- Prentice Hall
- C. A. R. Hoare. Communicating Sequential Processes. Prentice Hall, 1985
- (1985) Communicating Sequential Processes
- Hoare, C.¹

8
- 49049126479
- Results on the propositional µ-calculus
- D. Kozen. Results on the propositional µ-calculus. Theoretical Computer Science, 27:333-354, 1983
- (1983) Theoretical Computer Science , vol.27 , pp. 333-354
- Kozen, D.¹

9
- 0026222092
- Co-induction in relational semantics
- R. Milner and M. Tofte. Co-induction in relational semantics. Theoretical Computer Science, 87:209-220, 1991
- (1991) Theoretical Computer Science , vol.87 , pp. 209-220
- Milner, R.¹ Tofte, M.²

10
- 0003088977
- Fixpoint induction and proof of program semantics
- D. Park. Fixpoint induction and proof of program semantics. Machine Intelligence, 5:59-78, 1970
- (1970) Machine Intelligence , vol.5 , pp. 59-78
- Park, D.¹

11
- 0003931061
- Aarhus University report DAIMI FN-19
- G. D. Plotkin. A structural approach to operational semantics. Aarhus University report DAIMI FN-19, 1981.
- (1981) A Structural Approach to Operational Semantics
- Plotkin, G.D.¹

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