Action system approach to the specification and design of distributed systems
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
Object-oriented specification of reactive systems
ICSE '90 Proceedings of the 12th international conference on Software engineering
Extending Statecharts with Temporal Logic
IEEE Transactions on Software Engineering
Operational specification with joint actions: serializable databases
Distributed Computing - Special issue: Specification of concurrent systems
Hi-index | 0.00 |