Loading...

Compositional failure-based semantic equivalences for Reo specifications

Izadi, M ; Sharif University of Technology | 2007

272 Viewed
  1. Type of Document: Article
  2. DOI: 10.1145/1292316.1292329
  3. Publisher: 2007
  4. Abstract:
  5. Reo is a coordination language for modeling component connectors of component-based computing systems. We show that the failure-based equivalences NDFD and CFFD are congruences with respect to composition operators of Reo. Copyright 2007 ACM
  6. Keywords:
  7. Computation theory ; Computer operating systems ; Computer programming languages ; Constraint theory ; Constraint automata ; Coordination language ; Failure based equivalences ; Reo specification language ; Semantics
  8. Source: ESEC/FSE 2007: 6th Joint Meeting - Sixth International Workshop on Specification and Verification of Component-Based Systems, SAVCBS 2007, Dubrovnik, 3 September 2007 through 4 September 2007 ; September , 2007 , Pages 99-100 ; 9781595937216 (ISBN)
  9. URL: https://dl.acm.org/doi/10.1145/1292316.1292329