Communicating sequential processes
Communicating sequential processes
Dynamic Configuration for Distributed Systems
IEEE Transactions on Software Engineering
Automatic verification of finite-state concurrent systems using temporal logic specifications
ACM Transactions on Programming Languages and Systems (TOPLAS)
Andrew: a distributed personal computing environment
Communications of the ACM - The MIT Press scientific computation series
Current trends in concurrency. Overviews and tutorials
Distributed systems and computer networks
Distributed systems and computer networks
Facilitating Mixed Language Programming in Distrbuted Systems
IEEE Transactions on Software Engineering
An overview of the SR language and implementation
ACM Transactions on Programming Languages and Systems (TOPLAS)
Distributed programming in Argus
Communications of the ACM
Communications of the ACM
An introduction to Estelle: a specification language for distributed systems
Computer Networks and ISDN Systems - Special Issue: Protocol Specification and Testing
Distributed algorithms and protocols
Distributed algorithms and protocols
Parallel program design: a foundation
Parallel program design: a foundation
Communication and concurrency
Constructing Distributed Systems in Conic
IEEE Transactions on Software Engineering
Programming languages for distributed computing systems
ACM Computing Surveys (CSUR)
Distributed-Software Engineering
Distributed-Software Engineering
Object oriented design with applications
Object oriented design with applications
Fundamentals of software engineering
Fundamentals of software engineering
Paradigms for process interaction in distributed programs
ACM Computing Surveys (CSUR)
A configurable framework for method and tool integration
Proceedings of the European symposium on Software development environments and CASE technology
Loosely-coupled processes (preliminary version)
PARLE '91 Proceedings on Parallel architectures and languages Europe : volume II: parallel languages: volume II: parallel languages
Object-oriented modeling and design
Object-oriented modeling and design
Configuring object-based distributed programs in REXX
Software Engineering Journal - Object-oriented systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
The process group approach to reliable distributed computing
Communications of the ACM
Expressing the relationships between multiple views in requirements specification
ICSE '93 Proceedings of the 15th international conference on Software Engineering
An integrated method for effective behaviour analysis of distributed systems
ICSE '94 Proceedings of the 16th international conference on Software engineering
What good are models and what models are good?
Distributed systems (2nd Ed.)
Specifications of concurrent and distributed systems
Distributed systems (2nd Ed.)
Matchmaker: an interface specification language for distributed processing
POPL '85 Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
From RIG to Accent to Mach: the evolution of a network operating system
ACM '86 Proceedings of 1986 ACM Fall joint computer conference
The Byzantine Generals Problem
ACM Transactions on Programming Languages and Systems (TOPLAS)
Byzantine generals in action: implementing fail-stop processors
ACM Transactions on Computer Systems (TOCS)
Time, clocks, and the ordering of events in a distributed system
Communications of the ACM
Software Design Methods for Concurrent and Real-Time Systems
Software Design Methods for Concurrent and Real-Time Systems
Preserving Abstraction in Concurrent Programming
IEEE Transactions on Software Engineering
Inconsistency Handling in Multi-Perspective Specifications
ESEC '93 Proceedings of the 4th European Software Engineering Conference on Software Engineering
On the distribution of an assertion
PODC '82 Proceedings of the first ACM SIGACT-SIGOPS symposium on Principles of distributed computing
Designing distributed applications with mobile code paradigms
ICSE '97 Proceedings of the 19th international conference on Software engineering
ACM SIGSOFT Software Engineering Notes
Object-Based Modeling of Parallel Programs
IEEE Parallel & Distributed Technology: Systems & Technology
Architecting and implementing distributed Web applications using the graph-oriented approach
Software—Practice & Experience
A framework for architecting and high-level programming support of CORBA applications
Journal of Parallel and Distributed Computing - Special issue on middleware
From programming to modeling: our experience with a distributed software engineering course
Proceedings of the 30th international conference on Software engineering
Algon: From Interchangeable Distributed Algorithms to Interchangeable Middleware
Electronic Notes in Theoretical Computer Science (ENTCS)
Comparing Service-Oriented Computing and Agent-Oriented Programming towards integration
Web Intelligence and Agent Systems
Hi-index | 0.00 |