2123 search results - page 36 / 425 » Composition of Cyber-Physical Systems |
113
click to vote
TCS
2008
15 years 1 months ago
2008
The aim of the paper is to give a compositional semantics in the style of the Structural Operational Semantics (SOS) and to study behavioral equivalence notions for P Systems. Fir...
142
click to vote
MIDDLEWARE
2005
Springer
15 years 7 months ago
2005
Springer
Distributed publish/subscribe systems are naturally suited for processing events in distributed systems. However, support for expressing patterns about disparate events and algorit...
134
click to vote
RTSS
1995
IEEE
15 years 5 months ago
1995
IEEE
E cient automatic model-checking algorithms for real-time systems have been obtained in recent years based on the state-region graph technique of Alur, Courcoubetis and Dill. Howe...
115
click to vote
CCS
2000
ACM
15 years 6 months ago
2000
ACM
We consider compositional properties of reactive systems that are secure in a cryptographic sense. We follow the wellknown simulatability approach, i.e., the specification is an ...
182
click to vote
CONCUR
2001
Springer
15 years 6 months ago
2001
Springer
In order to model the behaviour of open concurrent systems by means of Petri nets, we introduce open Petri nets, a generalization of the ordinary model where some places, designate...