skip to main content
Ngôn ngữ:
Giới hạn tìm kiếm: Giới hạn tìm kiếm: Dạng tài nguyên Hiển thị kết quả với: Hiển thị kết quả với: Chỉ mục

Kết quả 1 - 20 của 24  trong Tất cả tài nguyên

Kết quả 1 2 next page
Chỉ hiển thị
Lọc theo: Tác giả/ người sáng tác: Bergstra, J.A. xóa
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Material Type:
Bài báo
Thêm vào Góc nghiên cứu

Discrete time process algebra with abstraction

Baeten, J.C.M. ; Bergstra, J.A. ; Reichel, H.; Department of Mathematics and Computer Science ; Formal Methods

Fundamentals of Computation Theory (Proceedings 10th International Conference, FCT'95, Dresden, Germany, August 22-25, 1995), 1995, Issue Proceedings 10th International Conference, FCT'95, Dresden, Germany, August 22-25, 1995, pp.1-15 [Tạp chí có phản biện]

ISBN: 3-540-60249-6

Toàn văn sẵn có

2
Material Type:
Bài báo
Thêm vào Góc nghiên cứu

Bounded bags, stacks and queues

Baeten, J.C.M. ; Bergstra, J.A. ; Mazurkiewicz, A. ; Winkowski, J.; Department of Mathematics and Computer Science ; Formal Methods

CONCUR'97 (Proceedings 8th International Conference on Concurrency Theory, Warsaw, Poland, July 1-4, 1997), 1997, Issue Proceedings 8th International Conference on Concurrency Theory, Warsaw, Poland, July 1-4, 1997, pp.104-118 [Tạp chí có phản biện]

ISBN: 3-540-63141-0

Toàn văn sẵn có

3
Material Type:
Bài báo
Thêm vào Góc nghiên cứu

Process algebra with partial choice

Baeten, J.C.M. ; Bergstra, J.A. ; Jonsson, B. ; Parrow, J.; Department of Mathematics and Computer Science ; VF-programma Parallellisme

CONCUR'94 (Proceedings 5th International Conference on Concurrency Theory, Uppsala, Sweden, August 22-25, 1994), 1994, Issue Proceedings 5th International Conference on Concurrency Theory, Uppsala, Sweden, August 22-25, 1994, pp.465-480 [Tạp chí có phản biện]

ISBN: 3-540-58328-7

Toàn văn sẵn có

4
Material Type:
Bài báo
Thêm vào Góc nghiên cứu

Discrete time process algebra

Baeten, J.C.M. ; Bergstra, J.A. ; Cleaveland, R.; Department of Mathematics and Computer Science ; VF-programma Parallellisme

CONCUR'92 (Proceedings 3rd International Conference on Concurrency Theory, Stony Brook NY, USA, August 24-27, 1992), 1992, Issue Proceedings 3rd International Conference on Concurrency Theory, Stony Brook NY, USA, August 24-27, 1992, pp.401-420 [Tạp chí có phản biện]

ISBN: 3-540-55822-5

Toàn văn sẵn có

5
Material Type:
Bài báo
Thêm vào Góc nghiên cứu

A real time process logic

Baeten, J.C.M. ; Bergstra, J.A. ; Bol, R.N. ; Gabbay, D.M. ; Ohlbach, H.J.; Department of Mathematics and Computer Science ; VF-programma Parallellisme

Temporal Logic (Proceedings First International Conference, ICTL '94, Bonn, Germany, July 11-14, 1994), 1994, Issue Proceedings First International Conference, ICTL '94, Bonn, Germany, July 11-14, 1994, pp.30-47 [Tạp chí có phản biện]

ISBN: 3-540-58241-x

Toàn văn sẵn có

6
Material Type:
Bài báo
Thêm vào Góc nghiên cứu

Non interleaving process algebra

Baeten, J.C.M. ; Bergstra, J.A. ; Best, E.; Department of Mathematics and Computer Science ; VF-programma Parallellisme

CONCUR'93 (Proceedings 4th International Conference on Concurrency Theory, Hildesheim, Germany, August 23-26, 1993), 1993, Issue Proceedings 4th International Conference on Concurrency Theory, Hildesheim, Germany, August 23-26, 1993, pp.308-323 [Tạp chí có phản biện]

ISBN: 3-540-57208-2

Toàn văn sẵn có

7
Material Type:
Bài báo
Thêm vào Góc nghiên cứu

Axiomatizing probabilistic processes : ACP with generative probabilities (Extended abstract)

Baeten, J.C.M. ; Bergstra, J.A. ; Smolka, S.A. ; Cleaveland, R.; Department of Mathematics and Computer Science ; VF-programma Parallellisme

CONCUR'92 (Proceedings 3rd International Conference on Concurrency Theory, Stony Brook NY, USA, August 24-27, 1992), 1992, Issue Proceedings 3rd International Conference on Concurrency Theory, Stony Brook NY, USA, August 24-27, 1992, pp.472-485 [Tạp chí có phản biện]

ISBN: 3-540-55822-5

Toàn văn sẵn có

8
Material Type:
Bài báo
Thêm vào Góc nghiên cứu

The state operator in real time process algebra

Baeten, J.C.M. ; Bergstra, J.A. ; Bakker, de, J.W. ; Roever, de, W.P. ; Rozenberg, G.; Department of Mathematics and Computer Science ; VF-programma Parallellisme

Real-Time: Theory in Practice (Proceedings REX Workshop, Mook, The Netherlands, June 3-7, 1991), 1992, Issue Proceedings REX Workshop, Mook, The Netherlands, June 3-7, 1991, pp.107-123 [Tạp chí có phản biện]

ISBN: 3-540-55564-1

Toàn văn sẵn có

9
Material Type:
Bài báo
Thêm vào Góc nghiên cứu

Six issues concerning future directions in concurrency research

Baeten, J.C.M. ; Bergstra, J.A.; Department of Mathematics and Computer Science

ACM Computing Surveys, 1996, Vol.28(4es), pp.urn:issn:0360-0300 [Tạp chí có phản biện]

ISSN: ; ISSN: 0360-0300

Toàn văn sẵn có

10
Material Type:
Bài báo
Thêm vào Góc nghiên cứu

Discrete time process algebra : absolute time, relative time and parametric time

Baeten, J.C.M. ; Bergstra, J.A.; Department of Mathematics and Computer Science ; Formal Methods

Fundamenta Informaticae, 1997, Vol.29(1-2), pp.51-76 [Tạp chí có phản biện]

ISSN: ; ISSN: 0169-2968

Toàn văn sẵn có

11
Material Type:
Bài báo
Thêm vào Góc nghiên cứu

Discrete time process algebra

Baeten, J.C.M. ; Bergstra, J.A.; Department of Mathematics and Computer Science ; Formal Methods

Formal Aspects of Computing, 1996, Vol.8(2), pp.188-208 [Tạp chí có phản biện]

ISSN: ; ISSN: 0934-5043

Toàn văn sẵn có

Phiên bản sẵn có
12
Material Type:
Bài báo
Thêm vào Góc nghiên cứu

Process algebra with propositional signals

Baeten, J.C.M. ; Bergstra, J.A.; Department of Mathematics and Computer Science ; Formal Methods

Theoretical Computer Science, 1997, Vol.177(2), pp.381-405 [Tạp chí có phản biện]

ISSN: ; ISSN: 0304-3975

Toàn văn sẵn có

Phiên bản sẵn có
13
Material Type:
Bài báo
Thêm vào Góc nghiên cứu

On sequential composition, action prefixes and process prefix

Baeten, J.C.M. ; Bergstra, J.A.; Department of Mathematics and Computer Science ; VF-programma Parallellisme

Formal Aspects of Computing, 1994, Vol.6(3), pp.250-268 [Tạp chí có phản biện]

ISSN: ; ISSN: 0934-5043

Toàn văn sẵn có

Phiên bản sẵn có
14
Material Type:
Bài báo
Thêm vào Góc nghiên cứu

Real space process algebra

Baeten, J.C.M. ; Bergstra, J.A.; Department of Mathematics and Computer Science ; VF-programma Parallellisme

Formal Aspects of Computing, 1993, Vol.5(6), pp.481-529 [Tạp chí có phản biện]

ISSN: ; ISSN: 0934-5043

Toàn văn sẵn có

15
Material Type:
Bài báo
Thêm vào Góc nghiên cứu

Axiomatizing probabilistic processes : ACP with generative probabilities

Baeten, J.C.M. ; Bergstra, J.A. ; Smolka, S.A.; Department of Mathematics and Computer Science ; Research School IPA

Information and Computation, 1995, Vol.121(2), pp.234-255 [Tạp chí có phản biện]

ISSN: ; ISSN: 0890-5401

Toàn văn sẵn có

Phiên bản sẵn có
16
Material Type:
Bài báo
Thêm vào Góc nghiên cứu

Decidability of bisimulation equivalence for processes generating context-free languages

Baeten, J.C.M. ; Bergstra, J.A. ; Klop, J.W.; Department of Mathematics and Computer Science ; VF-programma Parallellisme

Journal of the ACM, 1993, Vol.40(3), pp.653-682 [Tạp chí có phản biện]

ISSN: ; ISSN: 0004-5411

Toàn văn sẵn có

Phiên bản sẵn có
17
Material Type:
Bài báo
Thêm vào Góc nghiên cứu

Process algebra with propositional signals

Baeten, J.C.M. ; Bergstra, J.A. ; Ponse, A.J. ; Verhoef, C. ; Vlijmen, van, S.F.M.; Department of Mathematics and Computer Science ; Formal Methods

Proceedings 2nd Workshop on Algebra of Communicating Processes (ACP'95, Eindhoven, The Netherlands, May 17-18, 1995), 1995, Issue ACP'95, Eindhoven, The Netherlands, May 17-18, 1995, pp.213-228

Toàn văn sẵn có

18
Material Type:
Bài báo
Thêm vào Góc nghiên cứu

Graph isomorphism models for non interleaving process algebra

Baeten, J.C.M. ; Bergstra, J.A. ; Ponse, A.J. ; Verhoef, C. ; Vlijmen, van, S.F.M.; Department of Mathematics and Computer Science ; VF-programma Parallellisme

Algebra of Communicating Processes (Proceedings ACP'94, Utrecht, The Netherlands, May 16-17, 1994), 1995, Issue Proceedings ACP'94, Utrecht, The Netherlands, May 16-17, 1994, pp.299-318

ISBN: 3-540-19909-8

Toàn văn sẵn có

19
Material Type:
Bài báo
Thêm vào Góc nghiên cứu

Deadlock behaviour in split and ST bisimulation semantics

Baeten, J.C.M. ; Bergstra, J.A. ; Castellani, I. ; Palamidessi, C.; Department of Mathematics and Computer Science ; Formal Methods

Proceedings Fifth International Workshop on Expressiveness in Concurrency (EXPRESS '98, Nice, France, September 7, 1998, 1998, Issue EXPRESS '98, Nice, France, September 7, 1998; satellite of CONCUR'98, pp.61-74

Toàn văn sẵn có

20
Material Type:
Bài báo
Thêm vào Góc nghiên cứu

Real time process algebra with infinitesimals

Baeten, J.C.M. ; Bergstra, J.A. ; Ponse, A.J. ; Verhoef, C. ; Vlijmen, van, S.F.M.; Department of Mathematics and Computer Science ; VF-programma Parallellisme

Algebra of communicating processes, proceedings of ACP94, Utrecht, 16-17 May 1994, 1995, pp.148-187

ISBN: 3-540-19909-8

Toàn văn sẵn có

Kết quả 1 - 20 của 24  trong Tất cả tài nguyên

Kết quả 1 2 next page

Chủ đề của tôi

  1. Thiết lập

Refine Search Results

Mở rộng kết quả tìm kiếm

  1.   

Chỉ hiển thị

  1. Tạp chí có phản biện (16)

Lọc kết quả

Năm xuất bản 

Từ đến
  1. Trước1993  (3)
  2. 1993đến1993  (3)
  3. 1994đến1994  (3)
  4. 1995đến1996  (7)
  5. Sau 1996  (8)
  6. Lựa chọn khác open sub menu

Đang tìm Cơ sở dữ liệu bên ngoài...