2136 search results - page 241 / 428 » A Game-Theoretic Operational Semantics |
176
click to vote
LICS
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper explores the connection between semantic equivalences and preorders for concrete sequential processes, represented by means of labelled transition systems, and formats ...
159
click to vote
WETICE
1999
IEEE
15 years 10 months ago
1999
IEEE
Our Workgroup Cache system operates as a virtual intranet, introducing a shared cache to members of the same workgroup. Users may be members of multiple workgroups at the same tim...
173
click to vote
LICS
1993
IEEE
15 years 10 months ago
1993
IEEE
This paper presents an untyped lambda calculus, extended with object primitives that reflect the capabilities of so-called delegation-based object-oriented languages. A type infer...
171
click to vote
DEXA
1994
Springer
15 years 10 months ago
1994
Springer
A real-time database is a database in which both the data and the operations upon the data may have timing constraints. We have integrated real-time, object-oriented, semantic and ...
149
click to vote
CIE
2007
Springer
15 years 10 months ago
2007
Springer
Nonlinear dynamical and control systems are an important source of applications for theories of computation over the the real numbers, since these systems are usually to complicate...