133 search results - page 27 / 27 » Expressive Power of Non-Deterministic Operators for Logic-ba... |
IFM
2004
Springer
13 years 10 months ago
2004
Springer
Abstract. We present a framework for model checking concurrent software systems which incorporates both states and events. Contrary to other state/event approaches, our work also i...
ANSOFT
2002
13 years 5 months ago
2002
Abstract. The real-time process algebra (RTPA) is a set of new mathematical notations for formally describing system architectures, and static and dynamic behaviors. It is recogniz...
VLDB
1998
ACM
13 years 4 months ago
1998
ACM
The increasing power of modern computers steadily opens up new application domains for advanced data processing such as engineering and knowledge-based applications. To meet their...