17054 search results - page 212 / 3411 » Logics of Dynamical Systems |
166
click to vote
FM
2001
Springer
15 years 11 months ago
2001
Springer
We present a novel result for a logic for symbolic transition systems based on LOTOS processes. The logic is adequate with respect to bisimulation de ned on symbolic transition sys...
174
click to vote
ATAL
2003
Springer
16 years 11 days ago
2003
Springer
Commitments model important aspects of agent interactions, especially those arising in e-business. A small number of patterns of commitments accommodate a variety of realistic int...
191
click to vote
ISMVL
2003
IEEE
16 years 12 days ago
2003
IEEE
A new asynchronous data transfer scheme using multiple-valued 2-color 1-phase coding, called a bidirectional data transfer scheme, is proposed for a highperformance and low-power ...
