Defining a Formal Coalgebraic Semantics for the Rosetta Specification Language (2003)

Cached

Download Links

by Cindy Kong , Perry Alexander , Catherine Menon
Venue:JOURNAL OF UNIVERSAL COMPUTER SCIENCE
Citations:5 - 3 self

Active Bibliography

4 The rosetta meta-model framework – Cindy Kong, Perry Alexander - 2003
11 Semantic Foundations for Heterogeneous Systems – Roberto Passerone - 2004
Composing and Validating Orthogonal Concerns and Heterogeneous Models by – Guang Yang, Guang Yang, Guang Yang
Authors Editor E-mail – Dejiu Chen, Dejiu Chen, Henrik Lönn, Martin Törngren
4 Modeling Techniques in Design-by-Refinement Methodologies – Jerry Burch, Roberto Passerone, Alberto L. Sangiovanni-vincentelli - 2002
Component-Based Design for the Future – Edward A. Lee, Alberto L. Sangiovanni-vincentelli
1 A Modular Formal Semantics for Ptolemy – Stavros Tripakis, Christos Stergiou, Chris Shaver, Edward A. Lee - 2011
25 Bisimulation relations for dynamical, control, and hybrid systems – Esfandiar Haghverdi , Paulo Tabuada , G.J. Pappas - 2005
4 Disciplined Heterogeneous Modeling – Edward A. Lee - 2010
2 Addressing Modeling Challenges in Cyber-Physical Systems – Patricia Derler, Edward A. Lee, Alberto L. Sangiovanni-vincentelli - 2011
Bisimulation relations for dynamical, control, and – Iar Haghverdi A, Paulo Tabuada B
1 MULTI-FORMALISM MODELLING AND MODEL EXECUTION – C. Hardebolle, F. Boulanger
1 Platform-based Design Methodologies for Communication Networks – Marco Sgroi, Marco Sgroi, Marco Sgroi - 2002
1 Semantic Analyses for Storage Management Optimizations in Functional Language Implementations – Young Gil Park, Benjamin Goldberg, Grace Sunjung, Jihwa Park - 1991
13 TIGUKAT: An Object Model for Query and View Support in Object Database Systems – Randal J. Peters, M. Tamer Özsu, Duane Szafron - 1992
6 Interpreter Prototypes From Formal Language Definitions – Gregory John Michaelson - 1993
4.1 The denotational semantics of Scheme – Michael Rescorla
36 The Requirement and Design Specification Language SPECTRUM -- An Informal Introduction – Manfred Broy, Christian Facchi, Radu Grosu, et al. - 1993
15 Semantic Foundation of the Tagged Signal Model – Xiaojun Liu - 2005