Treffer: A Rewriting Based Model for Probabilistic Distributed Object Systems
Title:
A Rewriting Based Model for Probabilistic Distributed Object Systems
International conference on formal methods for open object-based distributed systems
International conference on formal methods for open object-based distributed systems
Authors:
Source:
LECTURE NOTES IN COMPUTER SCIENCE. :32-46
Database:
British Library Document Supply Centre Inside Serials & Conference Proceedings