199 search results - page 1 / 40 » A Fully Abstract Model for Graph-Interpreted Temporal Logic |
TAGT
1998
Springer
14 years 3 months ago
1998
Springer
LICS
1994
IEEE
14 years 3 months ago
1994
IEEE
abstract semantics for concurrent graph reduction ALAN JEFFREY This paper presents a fully abstract semantics for a variant of the untyped -calculus with recursive declarations. We...
SLP
1997
14 years 15 days ago
1997
LICS
2009
IEEE
14 years 5 months ago
2009
IEEE
mantics Is Fully Abstract∗ Sumit Nain and Moshe Y. Vardi Rice University, Department of Computer Science Houston, TX 77005-1892, USA The discussion in the computer-science liter...
BIRTHDAY
2009
Springer
14 years 6 months ago
2009
Springer
Abstract. This chapter considers the different temporal constructs appeared in the literature of temporal conceptual models (timestamping and evolution constraints), and it provid...