Distributed cooperation with action systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
Parallel program design: a foundation
Parallel program design: a foundation
A formal basis for architectural connection
ACM Transactions on Software Engineering and Methodology (TOSEM)
Mobile UNITY: reasoning and specification in mobile computing
ACM Transactions on Software Engineering and Methodology (TOSEM)
Categorical semantics of parallel program design
Science of Computer Programming - Special issue: on formal specifications: foundations, methods, tools and applications: selected papers from the FMTA '95 conference (29–31 May 1995, Konstancin n. Warsaw, Poland)
A typed language for distributed mobile processes (extended abstract)
POPL '98 Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
KLAIM: A Kernel Language for Agents Interaction and Mobility
IEEE Transactions on Software Engineering
Connectors for Mobile Programs
IEEE Transactions on Software Engineering
Proceedings of the 21st international conference on Software engineering
Software engineering for mobility: a roadmap
Proceedings of the Conference on The Future of Software Engineering
Coordination of Internet agents
Using Explicit State to Describe Architechtures
FASE '99 Proceedings of the Second Internationsl Conference on Fundamental Approaches to Software Engineering
Coordination Technologies for Managing Information System Evolution
CAiSE '01 Proceedings of the 13th International Conference on Advanced Information Systems Engineering
Semantics of Architectural Connectors
TAPSOFT '97 Proceedings of the 7th International Joint Conference CAAP/FASE on Theory and Practice of Software Development
Coordinating Mobile Agents via Blackboards and Access Rights
COORDINATION '97 Proceedings of the Second International Conference on Coordination Languages and Models
An Asynchronous Model of Locality, Failurem and Process Mobility
COORDINATION '97 Proceedings of the Second International Conference on Coordination Languages and Models
FoSSaCS '98 Proceedings of the First International Conference on Foundations of Software Science and Computation Structure
Architectural style requirements for self-healing systems
WOSS '02 Proceedings of the first workshop on Self-healing systems
Proceedings of the 26th International Conference on Software Engineering
Adding mobility to software architectures
Science of Computer Programming - Special issue on second international workshop on foundations of coordination languages and software architectures (FOCLASA'03)
Science of Computer Programming
Distribution concerns in service-oriented modelling
International Journal of Internet Protocol Technology
Comparing architecture description languages for mobile software systems
Proceedings of the 1st international workshop on Software architectures and mobility
Modelling the GSM Handover Protocol in CommUnity
Electronic Notes in Theoretical Computer Science (ENTCS)
Ambient-PRISMA: Ambients in mobile aspect-oriented software architecture
Journal of Systems and Software
Context-awareness in software architectures
EWSA'05 Proceedings of the 2nd European conference on Software Architecture
Developing mobile ambients using an aspect-oriented software architectural model
ODBASE'06/OTM'06 Proceedings of the 2006 Confederated international conference on On the Move to Meaningful Internet Systems: CoopIS, DOA, GADA, and ODBASE - Volume Part II
Algebraic semantics of design abstractions for context-awareness
WADT'04 Proceedings of the 17th international conference on Recent Trends in Algebraic Development Techniques
Hi-index | 0.00 |
In this paper, we address the integration of a distribution dimension in an architectural approach to system development and evolution based on the separation between coordination and computation. This third dimension allows us to separate key concerns raised by mobility, thus contributing to our ability to handle the complexity that is inherent to systems required to operate in "Internet time and space".