A formal language for composition

Scripting Coordination Styles

COORDINATION '00 Proceedings of the 4th International Conference on Coordination Languages and Models

Components, Contracts, and Connectors for the Unified Modelling Language UML

FME '01 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods for Increasing Software Productivity

A Taxonomy of Software Component Models

EUROMICRO '05 Proceedings of the 31st EUROMICRO Conference on Software Engineering and Advanced Applications

A calculus for reasoning about software composition

Theoretical Computer Science - Formal methods for components and objects

A three-layered method for business processes discovery and its application in manufacturing industry

Computers in Industry

Applications = Components + GLoo

Electronic Notes in Theoretical Computer Science (ENTCS)

Software Component Models

IEEE Transactions on Software Engineering

A static compliance-checking framework for business process models

IBM Systems Journal

Ontology based algorithm modeling: obtaining adaptation for SOA environment

Proceedings of the 2nd workshop on Middleware for service oriented computing: held at the ACM/IFIP/USENIX International Middleware Conference

Typing communicating component assemblages

GPCE '08 Proceedings of the 7th international conference on Generative programming and component engineering

A mechanism for grid service composition behavior specification and verification

Future Generation Computer Systems

Version management and composition of software components in different phases of software development life cycle

ACM SIGSOFT Software Engineering Notes

A lambda calculus with forms

SC'05 Proceedings of the 4th international conference on Software Composition

Modal logics for reasoning about object-based component composition

IW-FM'00 Proceedings of the 4th Irish conference on Formal Methods