M. Broy, R. Grosu, and C. Klein. Reconciling real--time with asynchronous message passing. In J. Fitzgerald, C.B. Jones, and P. Lucas, editors, FME'97, 4th International Symposium of Formal Methods Europe, Graz, Austria, Lecture Notes in Computer Science 1313. Springer, 1997. 17, 26 Home/Search Document Details and Download
Context Related Articles Check |
This paper is cited by the following papers:
Scheduling with Message Deadlines for Hard Real-Time SDL Systems - Kolloch (2002) (1 citation) (Correct)
Modeling the Dynamic Behavior of Objects On Events, Messages.. - Breu, Grosu Self-citation (Grosu) (Correct)
Visual Formalisms Revisited - Grosu, Stefanescu, Broy (1998) (8 citations) Self-citation (Broy Grosu) (Correct)
Relating Events, Messages and Methods of Multiple-Threaded Objects - Breu, Grosu Self-citation (Grosu) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC