Modeling Component Connectors in Reo by Constraint Automata (Extended Abstract) (2004)

by Farhad Arbab , Christel Baier , Jan Rutten , Marjan Sirjani
Citations:72 - 32 self

Active Bibliography

Modeling Component Connectors in Reo by Constraint Automata (extended abstract) – Farhad Arbaba, Christel Baierb, Jan Ruttena, Marjan Sirjania
701 A formal basis for architectural connection – Robert Allen, David Garlan - 1997
506 An introduction to input/output automata – Nancy A. Lynch, Mark R. Tuttle - 1989
561 Composing Specifications – Martín Abadi, Leslie Lamport - 1993
2334 Statecharts: A Visual Formalism For Complex Systems – David Harel - 1987
2675 Compositional Model Checking – E. M. Clarke, D. E. Long, K. L. Mcmillan - 1999
1064 Bigraphs and Mobile Processes – Ole Høgh Jensen, Robin Milner - 2003
527 The Theory of Hybrid Automata – Thomas A. Henzinger - 1996
763 Wait-Free Synchronization – Maurice Herlihy - 1993