In distributed computing and in communications software there is a great interest in modular and composable approaches. In particular, services such as security or fault-tolerance and services intended for boosting performance that may in practice be "hard-wired " across different parts of the
|
939
|
Aspect-oriented programming
– Kiczales, Lamping, et al.
- 1997
|
|
703
|
On the security of public key protocols
– Dolev, Yao
- 1983
|
|
693
|
Parallel Program Design { A Foundation
– Chandy, Misra
- 1988
|
|
477
|
Conjoining specifications
– Abadi, Lamport
- 1995
|
|
368
|
Conditional rewriting logic as a unified model of concurrency
– Meseguer
- 1992
|
|
329
|
The inductive approach to verifying cryptographic protocols
– Paulson
- 1998
|
|
133
|
A Logical Theory of Concurrent Objects and its Realization in the Maude Language
– Meseguer
- 1992
|
|
126
|
Chandy, Proofs of networks of processes
– Misra, M
- 1981
|
|
112
|
Specification and Design of (Parallel) Programs
– Jones
- 1983
|
|
61
|
Abstraction and Modularity Mechanisms for Concurrent Computing
– Agha, Frølund, et al.
- 1993
|
|
50
|
Laws for Communicating Parallel Processes
– Baker, Hewitt
- 1977
|
|
45
|
Protocol boosters
– Feldmeier, McAuley, et al.
- 1998
|
|
42
|
Abstracting interaction patterns: A programming paradigm for open distributed systems,” in Formal Methods for Open ObjectBased
– Agha
- 1997
|
|
42
|
A logical theory of concurrent objects
– Meseguer
- 1990
|
|
39
|
A Language Framework for Multi-Object Coordination
– Frlund, Agha
- 1993
|
|
37
|
Reflection in General Logics and in Rewriting Logic with Applications to the Maude Language
– Clavel
- 1998
|
|
31
|
Composing speci
– Abadi, Lamport
- 1993
|
|
31
|
An actor rewriting theory
– Talcott
- 1996
|
|
30
|
Modular Specification of Interaction Policies in Distributed Computing
– Sturman
- 1996
|
|
26
|
Operating Systems Support for Protocol Boosters
– Mallet, Chung, et al.
- 1997
|
|
25
|
Customization and composition of distributed objects: Middleware abstractions for policy management
– Astley, Agha
- 1998
|
|
25
|
A Protocol Description Language for Customizing Failure Semantics
– Sturman, Agha
- 1994
|
|
24
|
Using a PVS embedding of CSP to verify authentication protocols
– Dutertre, Schneider
- 1997
|
|
24
|
Coordinating Distributed Objects: An Actor-Based Approach to Synchronization
– Frlund
- 1996
|
|
22
|
Specification of real-time and hybrid systems in rewriting logic
– Ölveczky, Meseguer
|
|
18
|
Specification, transformation, and programming of concurrent systems in rewriting logic
– Lincoln, Mart'i-Oliet, et al.
- 1994
|
|
16
|
A semantically sound actor translation
– Mason, Talcott
- 1997
|
|
14
|
A relational notation for state transition systems
– Lam, Shankar
- 1990
|
|
12
|
An Actor-Based Framework for Real-Time Coordination
– Ren
- 1997
|
|
10
|
Actor languages their syntax, semantics, translation, and equivalence
– Mason, Talcott
- 1999
|
|
10
|
Modular reasoning for actor specification diagrams
– Smith, Talcott
- 1999
|
|
8
|
A Partial Order Event Model for Concurrent Objects
– Meseguer, Talcott
- 1998
|
|
8
|
Local Reconfiguration Policies
– Millen
- 1999
|
|
7
|
Integration of resource management activities in distributed systems
– Venkatasubramanian, Talcott
- 2001
|
|
6
|
Combining system properties: A cautionary example and formal examination
– Rushby
- 1995
|
|
5
|
On a unified formal approach for the development of fault-tolerant and secure systems
– Peleska
- 1994
|
|
5
|
Modular Speci of Interaction Policies in Distributed Computing
– Sturman
- 1996
|
|
4
|
Protocol feature interactions
– LaPorta, Lee, et al.
- 1998
|
|
2
|
Local Recon Policies
– Millen
- 1999
|
|
2
|
Modular reasoning for actor speci diagrams
– Smith, Talcott
- 1999
|
|
2
|
Protocol Architecures for the 21st Century." Available at URL: http://carin.bellcore.com:8000/boosters/ under papers
– Feldmeier, McAuley, et al.
- 1999
|
|
1
|
Metalevel computation
– Clavel, Duran, et al.
- 1998
|
|
