Amanote Research

Amanote Research

    RegisterSign In

Compositionality and Compatibility of Parameterization and Parameter Passing in Specification Languages

Mathematical Structures in Computer Science - United Kingdom
doi 10.1017/s0960129500000748
Full Text
Open PDF
Abstract

Available in full text

Categories
MathematicsComputer Science Applications
Date

June 1, 1995

Authors
Rosa M. JiménezFernando OrejasHartmut Ehrig
Publisher

Cambridge University Press (CUP)


Related search

Teaching Electromagnetic Compatibility and Component Parameter Tolerances

English

Specification Languages for Distributed Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1985English

Parameter Learning With Truncated Message-Passing

2011English

Complexity and Compositionality in Fluid Intelligence

Proceedings of the National Academy of Sciences of the United States of America
Multidisciplinary
2017English

Cars, Compositionality, and Consciousness

Frontiers in Neuroscience
Neuroscience
2008English

Time-Varying Parameter Vector Autoregressions: Specification, Estimation, and an Application

Economic Quarterly
2016English

A Systematic Mapping Study of Specification Languages in Cloud Services Development

Communications in Computer and Information Science
MathematicsComputer Science
2018English

Supervisory Control of Modular Systems With Global Specification Languages

Automatica
ControlSystems EngineeringElectricalElectronic Engineering
2008English

Modular Supervisory Control With General Indecomposable Specification Languages

English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy