1524 search results - page 153 / 305 » Operational Semantics of Hybrid Systems |
SCP
1998
14 years 9 months ago
1998
Many interesting analyses for constraint logic-based languages are aimed at the detection of monotonic properties, that is to say, properties that are preserved as the computation...
FOIKS
2006
Springer
15 years 1 months ago
2006
Springer
This paper presents a semantic foundation of temporal conceptual models used to design temporal information systems. We consider a modeling language able to express both timestampi...
IPPS
2010
IEEE
14 years 8 months ago
2010
IEEE
This paper is the first extensive performance study of a recently proposed parallel programming model, called Concurrent Collections (CnC). In CnC, the programmer expresses her co...
APN
2006
Springer
15 years 1 months ago
2006
Springer
We consider nested nets, i.e. Petri nets in which tokens can be Petri nets themselves. We study value semantics of nested nets rather than reference semantics, and apply nested ne...
CSCW
2000
ACM
15 years 2 months ago
2000
ACM
In real−time collaborative systems, replicated objects, shared by users, are subject to concurrency constraints. In order to satisfy these, various algorithms, qualified as opâˆ...