© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Coordinated Atomic Actions in Modelling Objects Cooperation
R. de Lemos and A. Romanovsky
In Proceedings of the 1st IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC'98), pages 182-196, Kyoto, Japan, April 1998.Bibtex Record
@inproceedings{937, author = {R. de Lemos and A. Romanovsky}, title = {{Coordinated Atomic Actions in Modelling Objects Cooperation}}, month = {April}, year = {1998}, pages = {182-196}, keywords = {determinacy analysis, Craig interpolants}, note = {}, doi = {}, url = {http://www.cs.kent.ac.uk/pubs/1998/937}, address = {Kyoto, Japan}, booktitle = {Proceedings of the 1st IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC'98)}, publication_type = {inproceedings}, submission_id = {809_945167433}, }