A Representation-Independent Behavioral Semantics for Object-Oriented Components

In: 9th IFIP International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS). LNCS, volume 4468, p. 157--173, June, 2007

Authors

• Arnd Poetzsch-Heffter
• Jan Schäfer

Full Text

• PDF: fmoods_07.pdf
• PS.GZ: fmoods_07.ps.gz

BibTeX

@InProceedings{Poetzsch-Heffter.Schaefer07representation, 
   author = {Arnd Poetzsch-Heffter and Jan Schäfer}
   title = {A Representation-Independent Behavioral Semantics for Object-Oriented Components},
   booktitle = {9th IFIP International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS)},
   series = {LNCS},
   publisher = {Springer},
   pages = {157--173},
   month = {June},
   year = {2007},
}