Sciweavers

Share
ERSHOV
2003
Springer

Combining Aspects of Reactive Systems

10 years 1 months ago
Combining Aspects of Reactive Systems
For reactive systems, a large collection of formal models has been developed. While the formal relationship between those models is often carefully analyzed, the methodical implications for selecting or constructing appropriate models for specific application domains are rarely addressed. We classify and compare different specification methods for distributed systems concerning communication, behavior, and causality. We discuss the implications of these dimensions, especially concerning the combination of their properties.
Leonid Kof, Bernhard Schätz
Added 06 Jul 2010
Updated 06 Jul 2010
Type Conference
Year 2003
Where ERSHOV
Authors Leonid Kof, Bernhard Schätz
Comments (0)
books