|
2762
|
Communication and Concurrency
– Milner
- 1989
|
|
2678
|
Communicating Sequential Processes
– Hoare
- 1985
|
|
1064
|
A Structural Approach to Operational Semantics
– Plotkin
- 1981
|
|
958
|
Software Architecture: Perspectives on an Emerging Discipline
– Shaw, Garlan
- 1996
|
|
886
|
A Calculus of Mobile Processes
– Milner, Parrow, et al.
- 1992
|
|
607
|
A Calculus for Cryptographic Protocols: The Spi Calculus
– Abadi, Gordon
- 1999
|
|
482
|
A Formal Basis for Architectural Connection
– Allen, Garlan
- 1997
|
|
382
|
Coordination languages and their significance
– Gelernter, Carriero
- 1992
|
|
339
|
Testing equivalences for processes
– Nicola, Hennessy
- 1984
|
|
271
|
Specification and analysis of system architecture using rapide
– Luckham, Kenney, et al.
- 1995
|
|
254
|
Abstractions for software architecture and tools to support them
– Shaw, DeLine, et al.
- 1995
|
|
232
|
Expressing Mobility in Process Algebras: First-Order and HigherOrder Paradigms
– Sangiorgi
- 1992
|
|
213
|
A Formal Approach to Software Architecture
– Allen
- 1997
|
|
184
|
Kaim: a kernel language for agents interaction and mobility
– Nicola, Ferrari, et al.
- 1998
|
|
108
|
A framework for classifying and comparing architecture description languages. To appear
– Medvidovic, Taylor
- 1997
|
|
98
|
Coordination models and languages
– Papadopoulos, Arbab
- 1998
|
|
91
|
D.E.: Introduction to the special issue on software architecture
– Garlan, Perry
- 1995
|
|
67
|
The Polyadic Pi-Calculus: A Tutorial
– Milner
- 1991
|
|
60
|
An overview of Manifold and its implementation. Concurrency: Practice and Experience
– Arbab, Herman, et al.
- 1993
|
|
48
|
A formal approach to component adaptation
– Bracciali, Brogi, et al.
- 2002
|
|
41
|
Introduction to Web Services Architecture
– Gottschalk, Graham, et al.
- 2002
|
|
32
|
Static Checking of System Behaviors Using Derived Component Assumptions
– Inverardi, Wolf, et al.
- 2000
|
|
28
|
Specification and refinement of dynamic software architectures
– Canal, Pimentel, et al.
- 1999
|
|
22
|
Research Directions in Software Architecture
– Garlan
- 1995
|
|
19
|
et al. Formal Methods: State of the Art and Future Directions
– Clarke, M
- 1996
|
|
16
|
A Group Based Approach for Coordinating Active Objects
– Cruz, Ducasse
- 1999
|
|
14
|
Murali Sitaraman (eds.), Foundations of Component-Based Systems
– Leavens
- 2000
|
|
13
|
A process algebraic specification of the newasynchronous CORBA messaging service
– Gaspari, Zavattaro
- 1999
|
|
12
|
Comparing syntactic and semantic action refinement
– Goltz, Gorrieri, et al.
- 1996
|
|
12
|
Coordination for orchestration
– Andrade, Fiadeiro, et al.
- 2002
|
|
12
|
Coordinating interaction patterns
– Bracciali, Brogi, et al.
- 2001
|
|
11
|
Strategic Directions in Software Engineering and Programming Languages
– Gunter, Mitchel, et al.
- 1996
|
|
11
|
Architectural Requirements for Computing with Coalitions of Resources. Position paper for First Working
– Shaw
- 1999
|
|
10
|
CLAM: Composition Language for Autonomous Megamodules
– Sample, Beringer, et al.
- 1999
|
|
10
|
Bisimulation by unification
– Baldan, Bracciali, et al.
- 2002
|
|
4
|
Modelling Microsof COM using π-calculus
– Feijs
- 1999
|
|
3
|
Adding semantic information to IDLs. Is it really practical
– Canal, Fuentes, et al.
- 1999
|
|
3
|
Modeling Darwin in the π-calculus, in: Theory and Practice
– Magee, Eisenbach, et al.
- 1995
|
|
3
|
Security and dynamic composition of open systems
– Bracciali, Brogi, et al.
- 2002
|
|
3
|
Behavioural patterns and software composition
– Bracciali
- 2003
|
|
3
|
Adapting components with mismatching behaviours
– Bracciali, Brogi, et al.
- 2002
|
|
2
|
An Introduction to Software Architecture, in: V.Ambriola, G.Tortora (Eds
– Garlan, Shaw
- 1993
|
|
2
|
Un lenguaje para la especificación y validación de arquitecturas de software
– Velasco
- 2000
|
|
2
|
Concurrency Control CORBAservice, Object Management Group, http://www.omg.org/techonology/documents/formal/... .../concurrency service.htm
– OMG
|
|
2
|
Security issues in component-based design
– Bracciali, Brogi, et al.
- 2001
|
