Distributed cooperation with action systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
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
Stepwise design of real-time systems
SIGSOFT '91 Proceedings of the conference on Software for citical systems
On strong-feasibilities of equivalence-completions
PODC '96 Proceedings of the fifteenth annual ACM symposium on Principles of distributed computing
Stepwise Design of Real-Time Systems
IEEE Transactions on Software Engineering
Real-time specification and modeling with joint actions
IWSSD '91 Proceedings of the 6th international workshop on Software specification and design
Action systems in incremental and aspect-oriented modeling
Distributed Computing - Papers in celebration of the 20th anniversary of PODC
Operational specification with joint actions: serializable databases
Distributed Computing - Special issue: Specification of concurrent systems
| Hi-index | 0.00 |