SCOPUS 정보 검색 플랫폼

Electronic Notes in Theoretical Computer Science

Volumn 28, Issue , 2000, Pages 5-21

Distributed timed automata

(1) Krishnan, Padmanabhan a

a UNIVERSITY OF CANTERBURY (New Zealand)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; COMPUTER SIMULATION; DISTRIBUTED COMPUTER SYSTEMS; PARALLEL PROCESSING SYSTEMS; PROGRAM PROCESSORS; REAL TIME SYSTEMS; SYNCHRONIZATION;

DISTRIBUTED REAL-TIME SYSTEMS; INTERLEAVING; TIME SLICING; UNIPROCESSOR TIMED SYSTEMS;

FINITE AUTOMATA;

EID: 19044377278 PISSN: 15710661 EISSN: None Source Type: Journal
DOI: 10.1016/S1571-0661(05)80627-9 Document Type: Conference Paper

Times cited : (8)

References (10)

1
- 85027624992
- On the Ill-timed but Well-Caused
- E. Best. Springer Verlag
- Aceto L., Murphy D. On the Ill-timed but Well-Caused. Best E. CONCUR 93, volume LNCS-715. 1993;97-111 Springer Verlag
- (1993) CONCUR 93, Volume LNCS-715 , pp. 97-111
- Aceto, L.¹ Murphy, D.²

2
- 0028413052
- A Theory of Timed Automata
- Alur R., Dill D. A Theory of Timed Automata. Theoretical Computer Science. 126:1994;183-235
- (1994) Theoretical Computer Science , vol.126 , pp. 183-235
- Alur, R.¹ Dill, D.²

3
- 84945943000
- Partial Order Reductions for Timed Systems
- D. Sangiorgi, & R. de Simone. Springer Verlag
- Bengtsson J., Jonsson B., Lilius J., Yi W. Partial Order Reductions for Timed Systems. Sangiorgi D., de Simone R. CONCUR 98, volume LNCS-1466. 1998;485-500 Springer Verlag
- (1998) CONCUR 98, Volume LNCS-1466 , pp. 485-500
- Bengtsson, J.¹ Jonsson, B.² Lilius, J.³ Yi, W.⁴

4
- 0003754735
- Prentice Hall
- INMOS Ltd. occam-2 Reference Manual. 1988;Prentice Hall
- (1988) Occam-2 Reference Manual
- Ltd, I.¹

5
- 0028744384
- An Algebraic Semantics of Basic Message Sequence Charts
- Mauw S., Reniers M.A. An Algebraic Semantics of Basic Message Sequence Charts. The Computer Journal. 37:1994
- (1994) The Computer Journal , vol.37
- Mauw, S.¹ Reniers, M.A.²

6
- 84935265952
- Basic Notions of Trace Theory
- Springer Verlag
- Mazurkiewicz A. Basic Notions of Trace Theory. Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, volume LNCS 354. 1989;285-363 Springer Verlag
- (1989) Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, Volume LNCS 354 , pp. 285-363
- Mazurkiewicz, A.¹

7
- 84947733071
- Partial Orders and Verification of Real-Time Systems
- B. Jonsson, & J. Parrow. Uppsala, Sweden: Springer Verlag
- Pagani F. Partial Orders and Verification of Real-Time Systems. Jonsson B., Parrow J. Proceedings of the Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, volume LNCS 1135. 1996;327-346 Springer Verlag, Uppsala, Sweden
- (1996) Proceedings of the Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, Volume LNCS 1135 , pp. 327-346
- Pagani, F.¹

8
- 0001616142
- Tutorial on Basic Message Sequence Charts
- Rudolph E., Graubmann P., Grabowski J. Tutorial on Basic Message Sequence Charts. Computer Networks and ISDN Systems. 28:(12):June 1996
- (1996) Computer Networks and ISDN Systems , vol.28 , Issue.12
- Rudolph, E.¹ Graubmann, P.² Grabowski, J.³

9
- 84958967825
- Model checking timed automata
- The Netherlands: Springer Verlag Veldhoven
- Yovine S. Model checking timed automata. Lectures on Embedded Systems, volume LNCS-1494. 1998;114-152 Springer Verlag Veldhoven, The Netherlands
- (1998) Lectures on Embedded Systems, Volume LNCS-1494 , pp. 114-152
- Yovine, S.¹

10
- 0003035705
- Notes on Finite Asynchronous Automata
- Zielonka W. Notes on Finite Asynchronous Automata. RAIRO: Theoretical Informatics and Applications. 21:(2):1987;101-135
- (1987) RAIRO: Theoretical Informatics and Applications , vol.21 , Issue.2 , pp. 101-135
- Zielonka, W.¹

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