Consistency and conformance in ODP (abstract)
PODC '94 Proceedings of the thirteenth annual ACM symposium on Principles of distributed computing
A distributed computing model based on multiserver
ACM SIGOPS Operating Systems Review
Modelling distributed systems using Z
SAC '95 Proceedings of the 1995 ACM symposium on Applied computing
Enterprise Modelling with FUNSOFT Nets
EDOC '97 Proceedings of the 1st International Conference on Enterprise Distributed Object Computing
Integrating Semantics for Object-Oriented System Models
ICALP '01 Proceedings of the 28th International Colloquium on Automata, Languages and Programming,
The software fabric for the internet of things
IOT'08 Proceedings of the 1st international conference on The internet of things
Research: IN and TMN: the basis for future information networking architectures
Computer Communications
| Hi-index | 0.00 |