There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.

Related collections

Most cited references 17

Record: found
Abstract: not found
Article: not found

Reo: a channel-based coordination model for component composition

Farhad Arbab (1999)

0 comments Cited 57 times – based on 0 reviews      Review now

Bookmark

Record: found
Abstract: not found
Article: not found

Modeling component connectors in Reo by constraint automata

Christel Baier, Marjan Sirjani, Farhad Arbab … (2006)

0 comments Cited 31 times – based on 0 reviews      Review now

Bookmark

Record: found
Abstract: not found
Conference Proceedings: not found

Distributed reactive systems are hard to synthesize

A. Pneuli, R Rosner (2024)

0 comments Cited 30 times – based on 0 reviews

Bookmark

All references

Author and book information

Book Chapter

Publication date (Print): 2018

Publication date (Online): May 27 2018

Pages: 142-161

DOI: 10.1007/978-3-319-92408-3_6

SO-VID: e603157c-e9f7-4d82-aef2-5d1a9992ee13

History

Data availability:

Rule-Based Form for Stream Constraints

Read this book at

Related collections

Recursive Rule based Visual Categorization

Most cited references 17

Reo: a channel-based coordination model for component composition

Modeling component connectors in Reo by constraint automata

Distributed reactive systems are hard to synthesize

Author and book information

Book Chapter

History

Comments

Comment on this book

Book chapters

Similar content 2,381