From RM-ODP to the formal behavior representation (2001)

by P Balabko, A Wegmann
Venue:Proceedings of Tenth OOPSLA Workshop on Behavioral Semantics ¨Back to Basics