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
Source:
LECTURE NOTES IN COMPUTER SCIENCE. :32-46
Database:
British Library Document Supply Centre Inside Serials & Conference Proceedings