21 search results - page 2 / 5 » Branching vs. Linear Time: Semantical Perspective |
103
click to vote
INFORMATICALT
2007
15 years 14 days ago
2007
In this paper we consider branching time temporal logics of knowledge and belief. These logics involve the discrete time linear temporal logic operators “next” and “until” ...
127
Voted
TCS
1998
15 years 6 days ago
1998
A method is described for proving “always possibly” properties of specifications in formalisms with linear-time trace semantics. It is shown to be relatively complete for TLA...
132
Voted
ENTCS
2006
15 years 17 days ago
2006
Trace semantics has been defined for various non-deterministic systems with different input/output types, or with different types of "non-determinism" such as classical ...
126
Voted
GEOINFORMATICA
1998
15 years 7 days ago
1998
ally related entity types, or classes, into higher level, more abstract types, as part of a hierarchical classi®cation scheme. graphy, generalization retains the notion of abstrac...
83
Voted
TIME
2005
IEEE
15 years 6 months ago
2005
IEEE
— We provide a novel trace semantics for positive core XPath that exposes all intermediate nodes visited by the query engine. This enables a detailed analysis of all information ...