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
On the Role of Software Architectures in Runtime System Reconfiguration
CDS '98 Proceedings of the International Conference on Configurable Distributed Systems
SynchNet: a Petri net based coordination language for distributed objects
Proceedings of the 2nd international conference on Generative programming and component engineering
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".