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

메뉴 건너뛰기

Electronic Notes in Theoretical Computer Science

Volumn 4, Issue C, 1996, Pages 284-309

Specifying Real-Time Systems in Rewriting Logic

(2) Ölveczky, Peter Csaba a,b Meseguer, José a

a SRI INTERNATIONAL (United States)

b UNIVERSITY OF BERGEN (Norway)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SIMULATION; LINEAR ALGEBRA; LOGIC PROGRAMMING; MATHEMATICAL MODELS; OBJECT ORIENTED PROGRAMMING; SEMANTICS; SET THEORY;

HYBRID SYSTEM MODELS; HYBRID SYSTEMS; NON-LINEAR TIME MODELS; TIMED REWRITING LOGIC (TRL);

REAL TIME SYSTEMS;

EID: 0003319704 PISSN: 15710661 EISSN: None Source Type: Journal
DOI: 10.1016/S1571-0661(04)00044-1 Document Type: Article

Times cited : (17)

References (19)

1
- 84916540267
- W. M. P. van der Aalst. Interval timed coloured Petri nets and their analysis. In M. Ajmone Marsan, editor, Application and Theory of Petri Nets 1993, volume 691 of Lecture Notes in Computer Science, pages 453–472, 1993.

2
- 0029637354
- The algorithmic analysis of hybrid systems
- (1995) Theoretical Computer Science , vol.138 , pp. 3-34
- Alur¹ Courcoubetis² Halbwachs³ Henzinger⁴ Ho⁵ Nicollin⁶ Olivero⁷ Sifakis⁸ Yovine⁹

3
- 84916540266
- Rajeev Alur and David Dill. The theory of timed automata. In J.W. de Bakker, G. Huizing, W. P. de Roever, and G. Rozenberg, editors, Real-Time: Theory in Practice, volume 600 of Lecture Notes in Computer Science, 1991

4
- 0003653919
- Springer
- (1985) Foundations of Constructive Mathematics
- Michael Beeson¹

5
- 0023500461
- Algebraic specification of computable and semicomputable data types
- (1987) Theoretical Computer Science , vol.50 , pp. 137-181
- Bergstra¹ Tucker²

6
- 84916540265
- Manuel G. Clavel and José Meseguer. Reflection and strategies in rewriting logic. 1996. In this volume.

7
- 84916540264
- Joseph Goguen and José Meseguer. Order-sorted algebra I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations. Theoretical Computer Science, 105:217–273, 1992. Originally given as lecture at Seminar on Types, Carnegie-Mellon University, June 1983; several draft and technical report versions were circulated since 1985.

8
- 84916540263
- C. Heitmeyer and N. Lynch. The generalized railroad crossing: A case study in formal verification of real-time systems. In Proc., IEEE Real-Time System Symposium, San Juan, 1994.

9
- 84916540262
- P. Kosiuczenko and M. Wirsing. Timed rewriting logic, 1995. Working material for the 1995 Marktoberdorf International Summer School “Logic of Computation”.

10
- 19144373090
- Timed rewriting logic for the specification of time-sensitive systems
- To appear
- (1996) Science of Computer Programming
- Kosiuczenko¹ Wirsing²

11
- 84916540261
- O. Maler, Z. Manna, and A. Pnueli. From timed to hybrid systems. In Real- Time: Theory in Practice, volume 600 of LNCS, 1991.

12
- 84916540260
- Narciso Martí-Oliet and José Meseguer. Rewriting logic as a logical and semantic framework. Technical Report SRI-CSL-93-05, SRI International, Computer Science Laboratory, August 1993.

13
- 0027113376
- Conditional rewriting logic as a unified model of concurrency
- (1992) Theoretical Computer Science , vol.96 , pp. 73-155
- Meseguer¹

14
- 84916540259
- J. Meseguer. Rewriting logic as a semantic framework for concurrency: a progress report. In Concur '96, 1996. To appear.

15
- 77957664229
- General logics
- H.-D. Ebbinghaus et al., North-Holland
- (1989) Logic Colloquium'87 , pp. 275-329
- Meseguer¹

16
- 0002893365
- A logical theory of concurrent objects and its realization in the Maude language
- Gul Agha, Peter Wegner, Akinori Yonezawa, MIT Press
- (1993) Research Directions in Concurrent Object-Oriented Programming , pp. 314-390
- Meseguer¹

17
- 0026155625
- Timed high-level nets
- (1991) The Journal of Real-Time Systems , vol.3 , pp. 165-189
- Morasca¹ Pezzé² Trubian³

18
- 0000511809
- An object-oriented algebraic steam-boiler control specification
- J.-R. Abrial, E. Börger, H. Langmaack, Springer, To appear.
- (1996) Formal Methods for Industrial Application: Specifying and Programming the Steam-Boiler Control
- Ölveczky¹ Kosiuczenko² Wirsing³

19
- 84968513637
- Computable algebra: General theory and theory of computable fields
- (1960) Transactions of the American Mathematical Society , vol.95 , pp. 341-360
- Rabin¹

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