A Case Study in Transformational Design of Concurrent Systems

Authors:
Ernst-Rüdiger Olderog;Stephan Rössig
Affiliations:
-;-
Venue:
TAPSOFT '93 Proceedings of the International Joint Conference CAAP/FASE on Theory and Practice of Software Development
Year:
1993

Citing 0
Cited 1

Specifying and analyzing security automata using CSP-OZ

ASIACCS '07 Proceedings of the 2nd ACM symposium on Information, computer and communications security

Quantified Score

Hi-index	0.00

Visualization

Abstract