SCOPUS 정보 검색 플랫폼

Journal of Logic and Algebraic Programming

Volumn 54, Issue 1-2, 2003, Pages 109-127

Revisiting timing in process algebra

a EINDHOVEN UNIVERSITY OF TECHNOLOGY (Netherlands)

Author keywords

Absolute timing; Continuous time scale; Discrete time scale; Discretization; Initial abstraction; Integration; Parametric timing; Process algebra; Relative timing

Indexed keywords

COMPUTER SCIENCE; DISCRETE TIME CONTROL SYSTEMS; INTEGRATION; SEMANTICS;

PROCESS ALGEBRA;

ALGEBRA;

EID: 0036376035 PISSN: 15678326 EISSN: None Source Type: Journal
DOI: 10.1016/S1567-8326(02)00029-2 Document Type: Article

Times cited : (5)

References (18)

1
- 0002123841
- Process algebra with timing: Real time and discrete time
- Bergstra J.A., Ponse A., Smolka S.A. (Eds.), Elsevier, Amsterdam
- (2001) Handbook of Process Algebra , pp. 627-684
- Baeten, J.C.M.¹ Middelburg, C.A.²

2
- 0002868421
- The algebra of recursively defined processes and the algebra of regular processes
- Paredaens J. (Ed.), Proceedings 11th ICALP, Springer, Berlin
- (1984) Lecture Notes in Computer Science , vol.172 , pp. 82-95
- Bergstra, J.A.¹ Klop, J.W.²

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

4
- 0000439248
- Concrete process algebra
- Abramsky S., Gabbay D.M., Maibaum T.S.E. (Eds.), Oxford University Press, Oxford
- (1995) Handbook of Logic in Computer Science , vol.4 , pp. 149-268
- Baeten, J.C.M.¹ Verhoef, C.²

5
- 0001569424
- Real time process algebra
- (1991) Formal Aspects of Computing , vol.3 , Issue.2 , pp. 142-188
- Baeten, J.C.M.¹ Bergstra, J.A.²

6
- 0010401478
- Discrete time process algebra
- extended abstract, Cleaveland W.R. (Ed.), CONCUR'92, Springer, Berlin
- (1992) Lecture Notes in Computer Science , vol.630 , pp. 401-420
- Baeten, J.C.M.¹ Bergstra, J.A.²

7
- 0001033952
- Real space process algebra
- (1993) Formal Aspects of Computing , vol.5 , Issue.6 , pp. 481-529
- Baeten, J.C.M.¹ Bergstra, J.A.²

8
- 0010363049
- Real time process algebra with infinitesimals
- Ponse A., Verhoef C., van Vlijmen S.F.M. (Eds.), Algebra of Communicating Processes 1994, Springer, Berlin
- (1995) Workshop in Computing Series , pp. 148-187
- Baeten, J.C.M.¹ Bergstra, J.A.²

9
- 0030352471
- Discrete time process algebra
- (1996) Formal Aspects of Computing , vol.8 , Issue.2 , pp. 188-208
- Baeten, J.C.M.¹ Bergstra, J.A.²

10
- 84947709156
- An interleaving model for real-time systems
- Nerode A., Taitslin M. (Eds.), Symposium on Logical Foundations of Computer Science, Springer, Berlin
- (1992) Lecture Notes in Computer Science , vol.620 , pp. 81-92
- Chen, L.¹

11
- 85030844408
- A temporal calculus of communicating systems
- Baeten J.C.M., Klop J.W. (Eds.), CONCUR'90, Springer, Berlin
- (1990) Lecture Notes in Computer Science , vol.458 , pp. 401-415
- Moller, F.¹ Tofts, C.²

12
- 85027594526
- Real-time behaviour of asynchronous agents
- Baeten J.C.M., Klop J.W. (Eds.), CONCUR'90, Springer, Berlin
- (1990) Lecture Notes in Computer Science , vol.458 , pp. 502-520
- Yi, W.¹

13
- 85029866431
- Timed CSP: Theory and practice
- de Bakker J.W., Huizing C., de Roever W.P., Rozenberg G. (Eds.), Real Time: Theory and Practice, Springer, Berlin
- (1992) Lecture Notes in Computer Science , vol.600 , pp. 640-675
- Davies, J.¹

14
- 4944243609
- A process algebra for timed systems
- (1995) Information and Computation , vol.117 , pp. 221-239
- Hennessy, M.¹ Regan, T.²

15
- 0001119566
- The algebra of timed processes ATP: Theory and application
- (1994) Information and Computation , vol.114 , Issue.1 , pp. 131-178
- Nicollin, X.¹ Sifakis, J.²

16
- 0000924826
- TIC: A timed calculus
- (1993) Formal Aspects of Computing , vol.5 , Issue.3 , pp. 224-252
- Quemada, J.¹ De Frutos, D.² Azcorra, A.³

17
- 0010403713
- Process Algebra with Timing, Springer, Berlin
- (2002) EATCS Monographs Series
- Baeten, J.C.M.¹ Middelburg, C.A.²

18
- 0010400099
- Discrete time process algebra and the semantics of SDL
- Bergstra J.A., Ponse A., Smolka S.A. (Eds.), Elsevier, Amsterdam
- (2001) Handbook of Process Algebra , pp. 1209-1268
- Bergstra, J.A.¹ Middelburg, C.A.² Usenko, Y.S.³

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