External Links

    Journal: New Generation Comput.

    Volume 16, Issue 4

    343 -- 372Howard Bowman. A LOTOS Based Tutorial on Formal Methods for Object-Oriented Distributed Systems
    373 -- 396Sergio Greco. Non-Determinism and Weak Constraints in Datalog
    397 -- 434Andreas Werner, Alexander Bockmayr, Stefan Krischer. How to Realize LSE Narrowing
    runs on