Abstraction and specification in program development
Abstraction and specification in program development
Actors: a model of concurrent computation in distributed systems
Actors: a model of concurrent computation in distributed systems
Systematic software development using VDM
Systematic software development using VDM
Modeling concurrency with partial orders
International Journal of Parallel Programming
Statecharts: A visual formalism for complex systems
Science of Computer Programming
Parallel program design: a foundation
Parallel program design: a foundation
Communication and concurrency
A parallel object-oriented language with inheritance and subtyping
OOPSLA/ECOOP '90 Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications
Contracts: specifying behavioral compositions in object-oriented systems
OOPSLA/ECOOP '90 Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications
Object-oriented specification of reactive systems
ICSE '90 Proceedings of the 12th international conference on Software engineering
Emerald: a general-purpose programming language
Software—Practice & Experience
Handbook of theoretical computer science (vol. B)
Hermes: a language for distributed computing
Hermes: a language for distributed computing
The temporal logic of reactive and concurrent systems
The temporal logic of reactive and concurrent systems
Object-oriented modeling and design
Object-oriented modeling and design
The Geneva convention on the treatment of object aliasing
ACM SIGPLAN OOPS Messenger
OOPSLA '92 conference proceedings on Object-oriented programming systems, languages, and applications
Object-oriented system development
Object-oriented system development
A calculus of mobile processes, I
Information and Computation
Subject-oriented programming: a critique of pure objects
OOPSLA '93 Proceedings of the eighth annual conference on Object-oriented programming systems, languages, and applications
Regular types for active objects
OOPSLA '93 Proceedings of the eighth annual conference on Object-oriented programming systems, languages, and applications
Tradeoffs between reasoning and modeling
Research directions in concurrent object-oriented programming
A survey of logic programming-based object-oriented languages
Research directions in concurrent object-oriented programming
A logical theory of concurrent objects and its realization in the Maude language
Research directions in concurrent object-oriented programming
Object-oriented analysis and design with applications (2nd ed.)
Object-oriented analysis and design with applications (2nd ed.)
ADL—an interface definition language for specifying and testing software
IDL '94 Proceedings of the workshop on Interface definition languages
Interfaces, protocols, and the semi-automatic construction of software adaptors
OOPSLA '94 Proceedings of the ninth annual conference on Object-oriented programming systems, language, and applications
Specification and Analysis of System Architecture Using Rapide
IEEE Transactions on Software Engineering - Special issue on software architecture
Signatures: a language extension for improving type abstraction and subtype polymorphism in C++
Software—Practice & Experience
“…And nothing else changes”: the frame problem in procedure specifications
ICSE '93 Proceedings of the 15th international conference on Software Engineering
Distributed systems (2nd Ed.)
Time, clocks, and the ordering of events in a distributed system
Communications of the ACM
An axiomatic basis for computer programming
Communications of the ACM
Reliable Distributed Computing with the ISIS Toolkit
Reliable Distributed Computing with the ISIS Toolkit
An Object-Oriented Language-Database Integration Model: The Composition-Filters Approach
ECOOP '92 Proceedings of the European Conference on Object-Oriented Programming
The specification of process synchronization by path expressions
Operating Systems, Proceedings of an International Symposium
An introduction to event structures
Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School/Workshop
Formal Connectors
PSL: Protocols and Pragmatics for Open Systems
PSL: Protocols and Pragmatics for Open Systems
A universal modular ACTOR formalism for artificial intelligence
IJCAI'73 Proceedings of the 3rd international joint conference on Artificial intelligence
Using object-oriented typing to support architectural design in the C2 style
SIGSOFT '96 Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering
IEEE Transactions on Software Engineering
Typing the Behavior of Software Components using Session Types
Fundamenta Informaticae
Conceptual modelling patterns for roles
Journal on Data Semantics V
Typing the Behavior of Software Components using Session Types
Fundamenta Informaticae
Hi-index | 0.00 |
PSL is a framework for describing dynamic and architectural properties of open systems of components. PSL extends established interface-based tactics for describing the functional properties of open systems to the realm of protocol description. PSL specifications consist of logical and temporal rules relating situations, each of which describes potential states with respect to the roles of components, role attributes, and the issuance and reception of events. A specialized form, PSL/IDL supports protocol description in CORBA systems.