© 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},
}