SCOPUS 정보 검색 플랫폼

Volumn 30, Issue 2, 1993, Pages 181-202

From ATP to timed graphs and hybrid systems

Author keywords

[No Author keywords available]

Indexed keywords

EID: 21144482434 PISSN: 00015903 EISSN: 14320525 Source Type: Journal
DOI: 10.1007/BF01178579 Document Type: Article

Times cited : (29)

References (12)

1
- 84935630670
- [ACD90] Alur, R., Courcoubetis, C., Dill, D.: Model-checking for real-time systems. In: Proceedings of the Fifth Annual IEEE Symposium on Logics in Computer Science, pp. 414–425. Philadelphia, PA, USA, 1990

2
- 0346934060
- Technical report CS-R9053, Centre for Mathematics and Computer Science, Amsterdam, The Netherlands
- (1990) Real Time Process Algebra
- Baeten, J.C.M.¹ Bergstra, J.A.²

3
- 84976744619
- The ESTEREL synchronous programming language and its mathematical semantics
- Lect. Notes Comput. Sci., vol. 197, Springer, Berlin Heidelberg New York
- (1984) Proceedings CMU Seminar on Concurrency , pp. 389-448
- Berry, G.¹ Cosserat, L.²

4
- 0347008402
- Technical report CS-R8420, Centre for Mathematics and Computer Science, Amsterdam, The Netherlands
- (1984) Algebra of Communicating Processes
- Bergstra, J.A.¹ Klop, J.W.²

5
- 0345747104
- Process algebra: specification and verification in bisimulation semantics
- M., Hazewinkel, J.K., Lenstra, L.G.L.T., Meertens, CWI Monograph, 4, North Holland, Amsterdam
- (1986) Proceedings of the CWI Symposium Mathematics and Computer Science II , pp. 61-94
- Bergstra, J.A.¹ Klop, J.W.²

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

7
- 85030844408
- A temporal calculus of communicating processes
- J.C.M., Baeten, J.W., Klop, Lect. Notes Comput. Sci., vol. 458, Springer, Berlin Heidelberg New York
- (1990) CONCUR '90. Theories of Concurrency: Unification and Extension, Amsterdam, The Netherlands , pp. 401-415
- Moller, F.¹ Tofts, C.²

8
- 84935674487
- [NRSV90] Nicollin, X., Richier, J.-L., Sifakis, J., Voiron, J.: ATP: an algebra for timed processes. In: Proceedings of the IFIP TC 2 Working Conference on Programming Concepts and Methods, Sea of Gallilee, Israel, April 1990

10
- 0003931061
- Technical report DAIMI FN-19, Århus University, Computer Science Department, Århus, Denmark
- (1981) A structural approach to operational semantics
- Plotkin, G.D.¹

11
- 85027594526
- Real-time behaviour of asynchronous agents
- J.C.M., Baeten, J.W., Klop, Lect. Notes Comput. Sci., vol. 458, Springer, Berlin Heidelberg New York
- (1990) CONCUR '90. Theories of Concurrency: Unification and Extension, Amsterdam, The Netherlands , pp. 502-520
- Wang¹

12
- 84935662547
- [Wan91] Wang, Yi: CCS + Time = an Interleaving Model for Real Time Systems. In: Proceedings of ICALP '91, Madrid, Spain, 1991

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