✦ LIBER ✦

Towards action refinement for true concurrent real time

✍ Scribed by Mila Majster-Cederbaum; Jinzhao Wu

Publisher: Springer-Verlag
Year: 2003
Tongue: English
Weight: 406 KB
Volume: 39
Category: Article
ISSN: 0001-5903
DOI: 10.1007/s00236-003-0117-8

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Refinement of actions for real-time conc

Refinement of actions for real-time concurrent systems with causal ambiguity

✍ Mila Majster-Cederbaum; Jinzhao Wu; Houguang Yue 📂 Article 📅 2005 🏛 Springer-Verlag 🌐 English ⚖ 639 KB

Refinement of actions and equivalence no

Refinement of actions and equivalence notions for concurrent systems

✍ Rob van Glabbeek; Ursula Goltz 📂 Article 📅 2001 🏛 Springer-Verlag 🌐 English ⚖ 739 KB

Concurrent object-oriented programming f

Concurrent object-oriented programming for distributed real-time systems

✍ Katsumi Maruyama 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 1016 KB

IPTES: A concurrent engineering approach

IPTES: A concurrent engineering approach for real-time software development

✍ P. Pulli; R. Elmstrøm 📂 Article 📅 1993 🏛 Springer US 🌐 English ⚖ 927 KB

Towards a verifiable real-time, autonomi

Towards a verifiable real-time, autonomic, fault mitigation framework for large scale real-time systems

✍ Abhishek Dubey; Steve Nordstrom; Turker Keskinpala; Sandeep Neema; Ted Bapty; Ga 📂 Article 📅 2007 🏛 Springer 🌐 English ⚖ 760 KB

Priority management for concurrent execu

Priority management for concurrent execution of real-time and on-line transactions

✍ Ryoji Kataoka; Tetsuji Satoh; Ushio Inoue 📂 Article 📅 1994 🏛 John Wiley and Sons 🌐 English ⚖ 761 KB

## Abstract This paper presents priority management methods for concurrent execution of real‐time transactions with timing constraints and on‐line transactions without timing constraints in a real‐time database system (RTDBS). The aim of this study is the meeting of deadlines of real‐time transacti