Types and modules for net specifications

SEGRAS—a formal and semigraphical language combining Petri nets and abstract data types for the specification of distributed systems

ICSE '87 Proceedings of the 9th international conference on Software Engineering

Specifying concurrent objects

OOPSLA/ECOOP '88 Proceedings of the 1988 ACM SIGPLAN workshop on Object-based concurrent programming

Modular Algebraic Nets to Specify Concurrent Systems

IEEE Transactions on Software Engineering

Compositional Semantics of a Real-Time Prototyping Language

IEEE Transactions on Software Engineering

Generating adapters for concurrent component protocol synchronisation

FMOODS '02 Proceedings of the IFIP TC6/WG6.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems V

Automatic component protocol adaptation with the CoConut/J tool suite

Future Generation Computer Systems - Tools for program development and analysis

Trustworthy components-compositionality and prediction

Journal of Systems and Software - Special issue on: Component-based software engineering

Trust-By-Contract: Modelling, Analysing And Predicting Behaviour Of Software Architectures

Journal of Integrated Design & Process Science