7452 search results - page 1222 / 1491 » A Semantics for Multiprocessor Systems |
175
click to vote
ATAL
2005
Springer
16 years 6 days ago
2005
Springer
Matchmaking will be an important component of future agent and agent-like systems, such as the semantic web. Most research on matchmaking has been directed toward sophisticated ma...
173
click to vote
CONCUR
2005
Springer
16 years 6 days ago
2005
Springer
Starting from the opinion that the standard firing rule of Petri nets embodies the collective token interpretation of nets rather than their individual token interpretation, I pro...
172
click to vote
TARK
2005
Springer
16 years 4 days ago
2005
Springer
The paper focuses on extending to the first order case the semantical program for modalities first introduced by Dana Scott and Richard Montague. We focus on the study of neighb...
168
click to vote
CSL
2004
Springer
16 years 2 days ago
2004
Springer
Subtyping rules can be fairly complex for union types, due to interactions with other types, such as function types. Furthermore, these interactions turn out to depend on the calc...
199
click to vote
ICCS
2004
Springer
16 years 1 days ago
2004
Springer
It is well accepted that diagrams play a crucial role in human reasoning. But in mathematics, diagrams are most often only used for visualizations, but it is doubted that diagrams ...