ملخص: The stdudy of temporal logics, is one form or another, in computing applications has become both a prominent and promising research direction. Consider for exemple the popularity temporal logics have gained as a basis for the specification and verification of concurrency aspects of systems. Over the last five years of research many advances have been made, both in practice and theory. It was thereforre felt necessary to hold a meeting to disseminate the result of these efforts and to stimulate further work. Accordingly, an international meeting - Colloquium on Temporical Logic in Specification - was held at the Cresta Court Hotel, Altrincham, Cheshire in April 1987. This volume brings together many of the papers presented at the colloquium.

طبعة: Berlin: Springer-Verlag Springer-Verlag
لغة: إنجليزية
الوصف المادي: 448 p. ill. ;24 cm
ISBN: 3540518037