2106 search results - page 16 / 422 » Operational Semantics for DyLPs |
102
click to vote
IGPL
2006
15 years 1 months ago
2006
Diminishing awareness is a consequence of the information explosion: disciplines are becoming increasingly specialized; individuals and groups are becoming ever more insular. This...
105
click to vote
FOSSACS
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. We introduce a denotational semantics for non-linear hybrid automata, and relate it to the operational semantics given in terms of hybrid trajectories. The semantics is d...
115
click to vote
ISOLA
2010
Springer
15 years 9 days ago
2010
Springer
Abstract. Memory models of shared memory concurrent programs define the values a read of a shared memory location is allowed to see. Such memory models are typically weaker than t...
129
click to vote
IJIS
2011
14 years 5 months ago
2011
In this paper, we propose a method for modeling concepts in full computation-tree logic with sequence modal operators. An extended full computation-tree logic, CTLS∗ , is introdu...
110
click to vote
SIGLEX
1991
15 years 5 months ago
1991
We consider lexicM operations and their representation in a unification based lexicon and the role of lexical semantic information. We describe a unified treatment of the linguist...