10072 search results - page 136 / 2015 » Composition of Model Programs |
118
Voted
FSTTCS
2003
Springer
15 years 7 months ago
2003
Springer
We define a new model called O-PRS that extends the Process Rewrite Systems formalism with a new associative operator, “ ”, that allows to model parallel composition while ke...
131
click to vote
ICSOC
2007
Springer
15 years 8 months ago
2007
Springer
Model checking Web service behaviour has remained limited to checking safety and liveness properties. However when viewed as a multi agent system, the system composition can be ana...
134
Voted
CONCUR
2009
Springer
15 years 9 months ago
2009
Springer
Several process algebras for modelling hybrid systems have appeared in the literature in recent years. These all assume that continuous variables in the system are modelled monolit...
152
click to vote
APN
2007
Springer
15 years 8 months ago
2007
Springer
Asynchronous data communication mechanisms (ACMs) have been extensively studied as data connectors between independently timed concurrent processes. In previous work, an automatic ...
106
click to vote
HT
1999
ACM
15 years 7 months ago
1999
ACM
Most hypermedia models and systems do not incorporate time explicitly. This prevents authors from having direct control over the temporal aspects of a presentation. In this paper ...