353 search results - page 2 / 71 » Compositional specification of behavioral semantics |
JLP
2006
13 years 4 months ago
2006
In this paper, we develop a theory of modular design and refinement of hierarchical hybrid systems. In particular, we present compositional trace-based semantics for the language ...
ASE
2006
13 years 4 months ago
2006
: UML statecharts are used for describing dynamic aspects of system behavior. The work presented here extends a general Petri net-based methodology to support formal modeling of UM...
APN
2008
Springer
13 years 6 months ago
2008
Springer
Abstract. In this paper, we introduce a framework composed of a syntax and its compositional Petri net semantics, for the specification and verification of properties (like authent...
CBSE
2007
Springer
13 years 11 months ago
2007
Springer
TCS
2008
13 years 4 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...