Vardi, M., "Verification of open systems", Proc FST & TCS 17, LNCS 1346, 1997, 250-266. Home/Search Document Details and Download
Summary Related Articles |
This paper is cited in the following contexts:
A Presentation of Regular Languages in the.. - Mohalik, Ramanujam (Correct)
....of components. Each process knows the program (or transition system) structure of the other components and uses this knowledge in the assumptions it makes, but is only unaware of what is currently happening at other locations. This is also different from what is termed modular reasoning ([12]) where processes operate in environments about which nothing can be assumed at all. This is necessary in the verification of open systems, but differs from the context we discuss, where the distributed systems discussed are closed systems. The environment for any process is simply the set of ....
Vardi, M., "Verification of open systems", Proc FST & TCS 17, LNCS 1346, 1997, 250-266.
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