Stanislaw Ambroszkiewicz, Wojciech Penczek, Tomasz Nowak. Towards Formal Specification and Verification in Cyberspace. In James L. Rash, Christopher Rouff, Walt Truszkowski, Diana F. Gordon, Michael G. Hinchey, editors, Formal Approaches to Agent-Based Systems, First International Workshop, FAABS 2000 Greenbelt, MD, USA, April 5-7, 2000, Revised Papers. Volume 1871 of Lecture Notes in Computer Science, pages 16-32, Springer, 2000. [doi]
Abstract is missing.