Electronic Notes in Theoretical Computer Science · 2007 · 10 citations · 16 references
ComputingComputer ScienceModel-based Systems EngineeringSoftware EngineeringSystems ArchitectureComponent-based Software EngineeringInterconnect ArchitectureInterprocess CommunicationSoftware ArchitectureSoftware DesignSystems IntegrationComponent ArchitectureComponent CompositionComponent ModelsComponent-based ArchitecturesComponent-based Software DesignConnectorsOrchestrationSoftware Components
Composing and orchestrating software components is a fundamental concern in modern software engineering. This paper addresses the possibility of such orchestration being dynamic, in the sense that the structure of component's interconnection patterns can change at run-time. The envisaged approach extends previous work by the authors on the use of coalgebraic models for the specification of software connectors.
16
Wojciech Penczek · Science of Computer Programming · 1990 · 4K citations
A calculus of mobile processes, I
Robin Milner, Joachim Parrow, David Walker · Information and Computation · 1992 · 2.8K citations · Full text
Constructing Induction Rules for Deductive Synthesis Proofs
Alan Bundy, Lucas Dixon, Jeremy Gow et al. · Electronic Notes in Theoretical Computer Science · 2006 · 2.8K citations · Full text
The B-book: assigning programs to meanings
Choice Reviews Online · 1997 · 2.1K citations
A calculus of mobile processes, II
Robin Milner, Joachim Parrow, David Walker · Information and Computation · 1992 · 1.7K citations · Full text