2108 search results - page 30 / 422 » An Operational Semantics for Stateflow |
JOT
2007
14 years 9 months ago
2007
IGPL
2006
14 years 9 months ago
2006
Diminishing awareness is a consequence of the information explosion: disciplines are becoming increasingly specialized; individuals and groups are becoming ever more insular. This...
FAST
2009
14 years 7 months ago
2009
Provenance records the history of data. Careless use of provenance may violate the security policies of data. Moreover, the provenance itself may be sensitive information, necessi...
JCSS
2000
14 years 9 months ago
2000
This article presents a congruence format, in structural operational semantics, for rooted branching bisimulation equivalence. The format imposes additional requirements on Groote...
IPL
1998
14 years 9 months ago
1998
We propose a combination of Kleene’s three-valued logic and ACP process algebra via the guarded command construct. We present an operational semantics in SOS-style, and a comple...