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. © Springer-Verlag Berlin Heidelberg 2003.
CITATION STYLE
Kof, L., & Schätz, B. (2003). Combining aspects of reactive systems. Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2890, 344–350. https://doi.org/10.1007/978-3-540-39866-0_34
Mendeley helps you to discover research relevant for your work.