A Uniform Framework for Modeling and Verifying Components and Connectors
暂无分享,去创建一个
Christel Baier | Joachim Klein | Sascha Klüppelholz | Tobias Blechmann | C. Baier | Joachim Klein | Sascha Klüppelholz | Tobias Blechmann
[1] Christel Baier,et al. Checking Equivalence for Reo Networks , 2008, FACS.
[2] Christel Baier,et al. Synthesis of Reo Circuits from Scenario-based Specifications , 2009, FOCLASA@ICALP.
[3] Joseph Sifakis,et al. Component-Based Construction of Deadlock-Free Systems: Extended Abstract , 2003, FSTTCS.
[4] Thomas A. Henzinger,et al. Interface Theories for Component-Based Design , 2001, EMSOFT.
[5] Jaikumar Radhakrishnan,et al. FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science , 2004, Lecture Notes in Computer Science.
[6] Farhad Arbab,et al. Modeling the Exogenous Coordination of Mobile Channel-based Systems with Petri Nets , 2006, FOCLASA.
[7] Christel Baier,et al. Alternating-Time Stream Logic for Multi-agent Systems , 2008, COORDINATION.
[8] Christoph Minnameier,et al. Everything Is PSPACE-Complete in Interaction Systems , 2008, ICTAC.
[9] Nicholas Carriero,et al. Parallel Programming in Linda , 1985, ICPP.
[10] Anne Elisabeth Haxthausen,et al. Theoretical Aspects of Computing - ICTAC 2008, 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings , 2008, ICTAC.
[11] Farhad Arbab,et al. Coordination Models and Languages , 1998, Adv. Comput..
[12] Farhad Arbab,et al. Reo: A Channel-based Coordination Model for Component Composition , 2005 .
[13] Robin Milner,et al. Communicating and mobile systems - the Pi-calculus , 1999 .
[14] Gianluigi Zavattaro,et al. From Endogenous to Exogenous Coordination Using Aspect-Oriented Programming , 2004, COORDINATION.
[15] Axel Legay,et al. Sociable Interfaces , 2005, FroCoS.
[16] Christel Baier,et al. Symbolic model checking for channel-based component connectors , 2009, Sci. Comput. Program..
[17] Christel Baier,et al. Modeling component connectors in Reo by constraint automata , 2004, Sci. Comput. Program..
[18] Farhad Arbab,et al. MoCha-pi, an exogenous coordination calculus based on mobile channels , 2005, SAC '05.
[19] Christel Baier,et al. Formal Verification for Components and Connectors , 2009, FMCO.
[20] Nancy A. Lynch,et al. An introduction to input/output automata , 1989 .
[21] Christel Baier,et al. Compositional Semantics of an Actor-Based Language Using Constraint Automata , 2006, COORDINATION.
[22] Thomas A. Henzinger,et al. Reactive Modules , 1999, Formal Methods Syst. Des..