Modeling the distributed termination convention of CSP
ACM Transactions on Programming Languages and Systems (TOPLAS)
Distributed Computing
A new approach to detection of locally indicative stability
International Colloquium on Automata, Languages and Programming on Automata, languages and programming
ACM Transactions on Programming Languages and Systems (TOPLAS)
Theoretical Computer Science
Two normal form theorems for CSP programs
Information Processing Letters
Correctness proofs of distributed termination algorithms
Logics and models of concurrent systems
Script: a communication abstraction mechanism and its verification
Logics and models of concurrent systems
A paradigm for detecting quiescent properties in distributed computations
Logics and models of concurrent systems
Distributed snapshots: determining global states of distributed systems
ACM Transactions on Computer Systems (TOCS)
A modular technique for the design of efficient distributed leader finding algorithms
Proceedings of the fourth annual ACM symposium on Principles of distributed computing
ACM Transactions on Programming Languages and Systems (TOPLAS)
An Effective Implementation for the Generalized Input-Output Construct of CSP
ACM Transactions on Programming Languages and Systems (TOPLAS)
Communicating sequential processes
Communications of the ACM
Decentralization of process nets with centralized control
PODC '83 Proceedings of the second annual ACM symposium on Principles of distributed computing
Action system approach to the specification and design of distributed systems
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
A modular technique for the design of efficient distributed leader finding algorithms
ACM Transactions on Programming Languages and Systems (TOPLAS)
The inhibition spectrum and the achievement of causal consistency
PODC '90 Proceedings of the ninth annual ACM symposium on Principles of distributed computing
Object-oriented specification of reactive systems
ICSE '90 Proceedings of the 12th international conference on Software engineering
Unifying self-stabilization and fault-tolerance
PODC '93 Proceedings of the twelfth annual ACM symposium on Principles of distributed computing
A superimposition control construct for distributed systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
A methodology for designing communication protocols
SIGCOMM '94 Proceedings of the conference on Communications architectures, protocols and applications
An (N -1)-Resilient Algorithm for Distributed Termination Detection
IEEE Transactions on Parallel and Distributed Systems
Interconnecting formalisms: supporting modularity, reuse and incrementality
SIGSOFT '95 Proceedings of the 3rd ACM SIGSOFT symposium on Foundations of software engineering
Constraint-based structuring of distributed protocols
Proceedings of the fourteenth annual ACM symposium on Principles of distributed computing
A calculus of superimpositions for distributed systems
AOSD '02 Proceedings of the 1st international conference on Aspect-oriented software development
A semantical approach to method-call interception
AOSD '02 Proceedings of the 1st international conference on Aspect-oriented software development
Adapting Object-Oriented Components
ECOOP '97 Proceedings of the Workshops on Object-Oriented Technology
Modular Object-Oriented Design of Distributed Protocols
TOOLS '00 Proceedings of the Technology of Object-Oriented Languages and Systems (TOOLS 34'00)
Constraint-based structuring of network protocols
Distributed Computing
Operational specification with joint actions: serializable databases
Distributed Computing - Special issue: Specification of concurrent systems
Self-stabilizing extensions for message-passing systems
Distributed Computing - Special issue: Self-stabilization
The inhibition spectrum and the achievement of causal consistency
Distributed Computing
FEATUREHOUSE: Language-independent, automated software composition
ICSE '09 Proceedings of the 31st International Conference on Software Engineering
Coordination as an Architectural Aspect
Electronic Notes in Theoretical Computer Science (ENTCS)
A calculus for uniform feature composition
ACM Transactions on Programming Languages and Systems (TOPLAS)
Superimposition: a language-independent approach to software composition
SC'08 Proceedings of the 7th international conference on Software composition
An algebraic foundation for automatic feature-based program synthesis
Science of Computer Programming
On coordination tools in the PicOS tuples system
Proceedings of the 2nd Workshop on Software Engineering for Sensor Network Applications
Temporal superimposition of aspects for dynamic software architecture
FMOODS'06 Proceedings of the 8th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
Communications of the ACM
| Hi-index | 0.02 |
A general definition of the notion of superimposition is presented. We show that previous constructions under the same name can be seen as special cases of our definition. We consider several properties of superimposition definable in our terms, notably the nonfreezing property. We also consider a syntactic representation of our construct in CSP