An example of stepwise refinement of distributed programs: quiescence detection
ACM Transactions on Programming Languages and Systems (TOPLAS) - The MIT Press scientific computation series
Script: a communication abstraction mechanism and its verification
Science of Computer Programming
On proving communication closedness of distributed layers
Proc. of the sixth conference on Foundations of software technology and theoretical computer science
Cooperative Distributed Algorithms for Dynamic Cycle Prevention
IEEE Transactions on Software Engineering
Parallel program design: a foundation
Parallel program design: a foundation
Bounded concurrrent time-stamp systems are constructible
STOC '89 Proceedings of the twenty-first annual ACM symposium on Theory of computing
A compositional approach to superimposition
POPL '88 Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Interleaving set temporal logic
Theoretical Computer Science
Distributed snapshots: determining global states of distributed systems
ACM Transactions on Computer Systems (TOCS)
ACM Transactions on Programming Languages and Systems (TOPLAS)
Guardians and Actions: Linguistic Support for Robust, Distributed Programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Distributed deadlock detection
ACM Transactions on Computer Systems (TOCS)
Complementary Definitions of Programming Language Semantics
Complementary Definitions of Programming Language Semantics
Impartiality, Justice and Fairness: The Ethics of Concurrent Termination
Proceedings of the 8th Colloquium on Automata, Languages and Programming
Proceedings of the Conference on Logic of Programs
1983 Invited address solved problems, unsolved problems and non-problems in concurrency
PODC '84 Proceedings of the third annual ACM symposium on Principles of distributed computing
Reasoning about Action Systems using the B-Method
Formal Methods in System Design
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
OPM/Web – Object-Process Methodology for Developing Web Applications
Annals of Software Engineering
Support for business-driven evolution with coordination technologies
IWPSE '01 Proceedings of the 4th International Workshop on Principles of Software Evolution
Information Systems - The 13th international conference on advanced information systems engineering (CAiSE*01)
Architectural views of aspects
Proceedings of the 2nd international conference on Aspect-oriented software development
A Compositional Approach to Connector Construction
WADT '01 Selected papers from the 15th International Workshop on Recent Trends in Algebraic Development Techniques
Algebraic Support for Service-Oriented Architecture
AMAST '02 Proceedings of the 9th International Conference on Algebraic Methodology and Software Technology
Coordination Technologies for Managing Information System Evolution
CAiSE '01 Proceedings of the 13th International Conference on Advanced Information Systems Engineering
Compositional Transformational Design for Concurrent Programs
COMPOS'97 Revised Lectures from the International Symposium on Compositionality: The Significant Difference
Adapting Object-Oriented Components
ECOOP '97 Proceedings of the Workshops on Object-Oriented Technology
COORDINATION '00 Proceedings of the 4th International Conference on Coordination Languages and Models
Coordination for Orchestration
COORDINATION '02 Proceedings of the 5th International Conference on Coordination Models and Languages
Towards a Colimit-Based Semantics for Visual Programming
COORDINATION '02 Proceedings of the 5th International Conference on Coordination Models and Languages
Retrenchment, Refinement, and Simulation
ZB '00 Proceedings of the First International Conference of B and Z Users on Formal Specification and Development in Z and B
Structuring and verifying distributed algorithms
Nordic Journal of Computing
Separating computation, coordination and configuration
Journal of Software Maintenance: Research and Practice - Special issue: Separation of concerns for software evolution
Higher-order architectural connectors
ACM Transactions on Software Engineering and Methodology (TOSEM)
Enforcing Business Policies Through Automated Reconfiguration
Proceedings of the 16th IEEE international conference on Automated software engineering
Action systems in incremental and aspect-oriented modeling
Distributed Computing - Papers in celebration of the 20th anniversary of PODC
Synchronous, asynchronous, and causally ordered communication
Distributed Computing
Self-stabilizing extensions for message-passing systems
Distributed Computing - Special issue: Self-stabilization
A Fault-Local Self-Stabilizing Clustering Service for Wireless Ad Hoc Networks
IEEE Transactions on Parallel and Distributed Systems
Formal development of NoC systems in B
Nordic Journal of Computing - Selected papers of the 17th nordic workshop on programming theory (NWPT'05), October 19-21, 2005
Aspect-oriented programming for reactive systems: Larissa, a proposal in the synchronous framework
Science of Computer Programming - Special issue: Foundations of aspect-oriented programming
Engineering and theoretical underpinnings of retrenchment
Science of Computer Programming
Modelling code mobility and migration: an OPM/Web approach
International Journal of Web Engineering and Technology
Distribution concerns in service-oriented modelling
International Journal of Internet Protocol Technology
Documenting the Progress of the System Development
Methods, Models and Tools for Fault Tolerance
Coordination as an Architectural Aspect
Electronic Notes in Theoretical Computer Science (ENTCS)
Synthesising Features by Games
Electronic Notes in Theoretical Computer Science (ENTCS)
Evolving requirements through coordination contracts
CAiSE'03 Proceedings of the 15th international conference on Advanced information systems engineering
Model-driven development with the jABC
HVC'06 Proceedings of the 2nd international Haifa verification conference on Hardware and software, verification and testing
Interconnecting objects via contracts
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
Superimposition: a language-independent approach to software composition
SC'08 Proceedings of the 7th international conference on Software composition
On coordination tools in the PicOS tuples system
Proceedings of the 2nd Workshop on Software Engineering for Sensor Network Applications
Architectural aspects of architectural aspects
EWSA'05 Proceedings of the 2nd European conference on Software Architecture
Rigorous fault tolerance using aspects and formal methods
Rigorous Development of Complex Fault-Tolerant Systems
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
On horizontal specification architectures and their aspect-oriented implementations
Transactions on Aspect-Oriented Software Development II
Refinement of statemachines using event b semantics
B'07 Proceedings of the 7th international conference on Formal Specification and Development in B
Refinement-Based modeling of 3d nocs
FSEN'11 Proceedings of the 4th IPM international conference on Fundamentals of Software Engineering
Hi-index | 0.00 |