Search results for: Jeff Magee
Lecture Notes in Computer Science > Communicating Sequential Processes. The First 25 Years > Concurrent Programming > 211-219
Lecture Notes in Computer Science > Fundamental Approaches to Software Engineering > Components I > 129-143
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Invited Contribution > 1-18
Lecture Notes in Computer Science > Software Engineering for Self-Adaptive Systems > Part 2: Architecture-Based Self-Adaptation > 109-127
Lecture Notes in Computer Science > Service-Oriented Computing - ICSOC 2007 Workshops > WESOA 2007 > 338-350
Lecture Notes in Computer Science > Software Engineering for Self-Adaptive Systems > Part 1: Research Roadmap > 1-26
Lecture Notes in Computer Science > Parle ’91 Parallel Architectures and Languages Europe > Submitted Presentations > 735-752
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Testing and Verification > 597-601
Lecture Notes in Computer Science