A Hierarchy of Temporal Logics with Past (Extended Abstract)

Authors:
François Laroussinie;Ph. Schnoebelen
Affiliations:
-;-
Venue:
STACS '94 Proceedings of the 11th Annual Symposium on Theoretical Aspects of Computer Science
Year:
1994

A Modal Mu-Calculus for Durational Transition Systems

LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
More Past Glories

LICS '00 Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science
An axiomatization of PCTL

Information and Computation
An axiomatization of PCTL*

Information and Computation
A heterogeneous approach to service-oriented systems specification

Proceedings of the 2010 ACM Symposium on Applied Computing

Hi-index	0.00