SCOPUS 정보 검색 플랫폼 - 논문 보기

메뉴 건너뛰기

Theoretical Computer Science

Volumn 266, Issue 1-2, 2001, Pages 631-652

The parallel composition of uniform processes with data

(2) Groote, Jan Friso a,b Van Wamel, Jos a

a CWI (Netherlands)

b EINDHOVEN UNIVERSITY OF TECHNOLOGY (Netherlands)

Author keywords

CRL; Cones and foci method; Linear process expressions; Parallelism; Process algebra

Indexed keywords

ALGEBRA; QUEUEING THEORY; THEOREM PROVING;

PROCESS ALGEBRA;

PARALLEL PROCESSING SYSTEMS;

EID: 0035817841 PISSN: 03043975 EISSN: None Source Type: Journal
DOI: 10.1016/S0304-3975(00)00324-8 Document Type: Article

Times cited : (11)

References (21)

1
- 0003947115
- Cambridge University Press, Cambridge
- (1990) Process Algebra, Cambridge Tracts in Theoretical Computer Science , vol.18
- Baeten, J.C.M.¹ Weijland, W.P.²

2
- 0003868702
- Process algebra with combinators
- E. Börger, Y. Gurevich, K. Meinke (Eds.), Swansea, Lecture Notes in Computer Science, Springer, Berlin
- (1994) Proc. CSL'93 , vol.280 , pp. 36-65
- Bergstra, J.A.¹ Bethke, I.² Ponse, A.³

3
- 0031185512
- Grid protocols based on synchronous communication
- (1997) Sci. Comput. Programming , vol.29 , pp. 199-233
- Bergstra, J.A.¹ Hillebrand, J.A.² Ponse, A.³

4
- 0003801132
- Invariants in process algebra with data
- B. Jonsson, J. Parrow (Eds.), Uppsala, Sweden, Lecture Notes in Computer Science, Springer, Berlin
- (1994) Proc. Concur'94 , vol.836 , pp. 401-416
- Bezem, M.A.¹ Groote, J.F.²

5
- 0028752723
- A correctness proof of a One Bit Sliding Window Protocol in μCRL
- (1994) Comput. J. , vol.37 , Issue.4 , pp. 289-307
- Bezem, M.A.¹ Groote, J.F.²

6
- 0031144004
- Formal verification of a Leader Election Protocol in process algebra
- (1997) Theoret. Comput. Sci. , vol.177 , pp. 459-486
- Fredlund, L.-A.¹ Groote, J.F.² Korver, H.P.³

7
- 0039335517
- Correctness proof of the Bakery Protocol in μCRL
- A. Ponse, C. Verhoef, S.F.M. van Vlijmen (Eds.), Workshops in Computing, Springer, Berlin
- (1994) Algebra of Communicating Processes , pp. 63-86
- Groote, J.F.¹ Korver, H.P.²

8
- 0003845553
- Computer Science Report 97/14, Department of Mathematics and Computer Science, Eindhoven University of Technology
- (1997) A computer checked algebraic verification of a Distributed Summing Protocol
- Groote, J.F.¹ Monin, F.² Springintveld, J.³

9
- 0001879305
- The syntax and semantics of μCRL
- A. Ponse, C. Verhoef, S.F.M. van Vlijmen (Eds.), Workshops in Computing, Springer, Berlin
- (1994) Algebra of Communicating Processes , pp. 26-62
- Groote, J.F.¹ Ponse, A.²

10
- 0000840940
- Proof theory for μCRL: A language for processes with data
- D.J. Andrews, J.F. Groote, C.A. Middelburg (Eds.), Workshops in Computing, Springer, Berlin
- (1994) Proc. Internat. Workshop on Semantics of Specification Languages , pp. 232-251
- Groote, J.F.¹ Ponse, A.²

11
- 0038126661
- Focus points and convergent process operators
- Technical Report 142, Logic Group Preprint Series, Department of Philosophy. Utrecht University, 1995, A draft version appeared in the, Bordeaux
- (1995) Proc. AMAST Workshop on Real-Time Systems; Models and Proofs
- Groote, J.F.¹ Springintveld, J.²

12
- 0027911297
- Modular specifications in process algebra
- (1993) Theoret. Comput. Sci. , vol.113 , Issue.2 , pp. 294-348
- Van Glabbeek, R.J.¹ Vaandrager, F.W.²

13
- 0003801134
- Ph.D. Thesis, University of Amsterdam
- (1994) Protocol Verification in μCRL
- Korver, H.P.¹

14
- 0024914764
- A structural induction theorem for processes
- (1989) Proc. 8th ACM Symposium on Principles of Distributed Computing , pp. 239-247
- Kurshan, R.P.¹ McMillan, K.²

15
- 0002162241
- A structural linearization principle for processes
- C. Courcoubetis (Ed.), Lecture Notes in Computer Science, Springer, Berlin
- (1993) Proc. CAV'93 , vol.697 , pp. 491-504
- Kurshan, R.P.¹ Merritt, M.² Orda, A.³ Sachs, S.R.⁴

16
- 0003732424
- A computer-checked verification of Milner's Scheduler
- Sendai, Japan, Lecture Notes in Computer Science, Springer, Berlin
- (1994) Proc. Internat. Symp. on Theoretical Aspects of Computer Software (TACS'94) , vol.789
- Korver, H.P.¹ Springintveld, J.²

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

18
- 0003855706
- The μCRL tool set

19
- 0023208555
- Reasoning with many processes
- Ithaca, New York
- (1987) Proc. LICS '87 , pp. 138-152
- Sistla, A.P.¹ German, S.M.²

20
- 0000165198
- The tree identify protocol of IEEE 1394 in μCRL
- (1998) Formal Aspects Comput. , vol.10 , pp. 509-531
- Shankland, C.¹ Van der Zwaag, M.B.²

21
- 0003976113
- Report CSR 15-94, University of Wales, Swansea
- (1994) Equational Specification of Synchronous Concurrent Algorithms and Architectures, 2nd Edition
- Thompson, B.C.¹ Tucker, J.V.²

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