Rocco De Nicola, Alessandro Fantechi, Stefania Gnesi, Gioia Ristori. An Action Based Framework for Verifying Logical and Behavioural Properties of Concurrent Systems. In Kim Guldstrand Larsen, Arne Skou, editors, Computer Aided Verification, 3rd International Workshop, CAV 91, Aalborg, Denmark, July, 1-4, 1991, Proceedings. Volume 575 of Lecture Notes in Computer Science, pages 37-47, Springer, 1991.
Abstract is missing.