Communicating sequential processes
Communicating sequential processes
Category theory for computing science
Category theory for computing science
Basic category theory for computer scientists
Basic category theory for computer scientists
Programming from specifications (2nd ed.)
Programming from specifications (2nd ed.)
Using Z: specification, refinement, and proof
Using Z: specification, refinement, and proof
Guarded commands, nondeterminacy and formal derivation of programs
Communications of the ACM
Coordinating functional processes with Haskell#
Proceedings of the 2002 ACM symposium on Applied computing
Types and programming languages
Types and programming languages
The Theory and Practice of Concurrency
The Theory and Practice of Concurrency
ZB '02 Proceedings of the 2nd International Conference of B and Z Users on Formal Specification and Development in Z and B
FME '02 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods - Getting IT Right
Reo: a channel-based coordination model for component composition
Mathematical Structures in Computer Science
Categories for Software Engineering
Categories for Software Engineering
Issues in computational frameworks
Concurrency and Computation: Practice & Experience - Computational Frameworks
The CCA component model for high-performance scientific computing
Concurrency and Computation: Practice & Experience - Computational Frameworks
A categorical characterization for the compositional features of the # component model
SAVCBS '05 Proceedings of the 2005 conference on Specification and verification of component-based systems
Towards an architecture for component-oriented parallel programming: Research Articles
Concurrency and Computation: Practice & Experience - Component and Framework Technology in High-Performance and Scientific Computing
Collective Interfaces for Distributed Components
CCGRID '07 Proceedings of the Seventh IEEE International Symposium on Cluster Computing and the Grid
An Institutional Theory for #-Components
Electronic Notes in Theoretical Computer Science (ENTCS)
Asynchronous typed object groups for grid programming
International Journal of Parallel Programming
Translating Haskell# programs into Petri nets
VECPAR'02 Proceedings of the 5th international conference on High performance computing for computational science
| Hi-index | 0.00 |
The # (hash) component model aims to take advantage of a component-based perspective of software for the development of high-performance computing applications targeted at parallel distributed architectures. This paper presents an approach for specifying #-components using Circus, to provide the ability of reasoning about behavioral and functional properties of #-components and their composition, as well as to partially generate code of their units through the application of successive semi-automatic refinement steps. On the Circus side, the # component model provides a new compositional approach to combine a Circus specification to form new ones, widening its applicability.