Distributed systems
Design and validation of computer protocols
Design and validation of computer protocols
Petri nets and algebraic specifications
Theoretical Computer Science
Object-oriented software engineering
Object-oriented software engineering
Object-oriented modeling and design
Object-oriented modeling and design
Object-oriented analysis (2nd ed.)
Object-oriented analysis (2nd ed.)
Reconciling environment integration and software evolution
ACM Transactions on Software Engineering and Methodology (TOSEM)
The concurrency workbench: a semantics-based tool for the verification of concurrent systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
Toward a method of object-oriented concurrent programming
Communications of the ACM
The process group approach to reliable distributed computing
Communications of the ACM
Subject-oriented programming: a critique of pure objects
OOPSLA '93 Proceedings of the eighth annual conference on Object-oriented programming systems, languages, and applications
Research directions in concurrent object-oriented programming
Research directions in concurrent object-oriented programming
Object-oriented specification case studies
Object-oriented specification case studies
A behavioral notion of subtyping
ACM Transactions on Programming Languages and Systems (TOPLAS)
The essential distributed objects survival guide
The essential distributed objects survival guide
Object-Z: a specification language advocated for the description of standards
Computer Standards & Interfaces - Special issue on formal description techniques
A reflective model for first class dependencies
Proceedings of the tenth annual conference on Object-oriented programming systems, languages, and applications
Coloured Petri nets (2nd ed.): basic concepts, analysis methods and practical use: volume 1
Coloured Petri nets (2nd ed.): basic concepts, analysis methods and practical use: volume 1
Regular types for active objects
Object-oriented software composition
CO-OPN/2: a concurrent object-oriented formalism
FMOODS '97 Proceedings of the IFIP TC6 WG6.1 international workshop on Formal methods for open object-based distributed systems
Monitors: an operating system structuring concept
Communications of the ACM
Communication and Concurrency
The Java Language Specification
The Java Language Specification
Transaction Processing: Concepts and Techniques
Transaction Processing: Concepts and Techniques
Hierarchical Reachability Graph of Bounded Petri Nets for Concurrent-Software Analysis
IEEE Transactions on Software Engineering
Evaluating Deadlock Detection Methods for Concurrent Software
IEEE Transactions on Software Engineering
Object Orientation in Z
Inheritance as an Incremental Modification Mechanism or What Like Is and Isn't Like
ECOOP '88 Proceedings of the European Conference on Object-Oriented Programming
Specifying Reusable Components Using Contracts
ECOOP '92 Proceedings of the European Conference on Object-Oriented Programming
Type Specifications with Processes
Proceedings of the IFIP TC6 Eighth International Conference on Formal Description Techniques VIII
Combining CSP and Object-Z: Finite or Infinite Trace Semantics?
FORTE X / PSTV XVII '97 Proceedings of the IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE X) and Protocol Specification, Testing and Verification (PSTV XVII)
Specification of Object-Oriented Systems in LOTOS
Proceedings of the First International Conference on Formal Description Techniques
An Object Oriented Interpretation of LOTOS
FORTE '89 Proceedings of the IFIP TC/WG6.1 Second International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols
Model Checking Through Symbolic Reachability Graph
TAPSOFT '97 Proceedings of the 7th International Joint Conference CAAP/FASE on Theory and Practice of Software Development
Gluons: a Support for Software Component Cooperation
Proceedings of the First JSSST International Symposium on Object Technologies for Advanced Software
Adding Implicit Invocation to Languages: Three Approaches
Proceedings of the First JSSST International Symposium on Object Technologies for Advanced Software
Notes on Data Base Operating Systems
Operating Systems, An Advanced Course
A Semantic Integration of Object-Z and CSP for the Specification of Concurrent Systems
FME '97 Proceedings of the 4th International Symposium of Formal Methods Europe on Industrial Applications and Strengthened Foundations of Formal Methods
Towards a Modular Analysis of Coloured Petri Nets
Proceedings of the 13th International Conference on Application and Theory of Petri Nets
Compositional Analysis with Place-Bordered Subnets
Proceedings of the 15th International Conference on Application and Theory of Petri Nets
Refinement and Verification of Concurrent Systems Specified in Object-Z and CSP
ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
Formalizing CORRELATE: from practice to pi
2FACS'97 Proceedings of the 2nd BCS-FACS conference on Northern Formal Methods
Customizing Telecommunication Services: Patterns, Issues, and Models
IS&N '99 Proceedings of the 6th International Conference on Intelligence and Services in Networks: Paving the Way for an Open Service Market
Hi-index | 0.03 |