-
541
-
542Published 2007Table of Contents: “… Programs -- Technical Session 4. Theory -- New Bisimulation Semantics for Distributed Systems -- Event…”
Full Text via HEAL-Link
Electronic eBook -
543
-
544
-
545
-
546Published 2008Table of Contents: “…Formal Methods for Open Object-Based Distributed Systems -- Guiding Distributed Systems Synthesis…”
Full Text via HEAL-Link
Electronic eBook -
547
-
548
-
549
-
550
-
551
-
552
-
553
-
554
-
555
-
556
-
557
-
558
-
559
-
560