Expressive power of a language is generally defined as the breadth of ideas that can be
represented and communicated in a language. For formal languages, the expressive power …

In this paper we explain how the isolation or decoupling of actors can help in developing
efficient analysis techniques. The Reactive Object Language, Rebeca, and its timed …

若煤矿瓦斯监测WSNs (Wireless Sensor Networks) 系统的功能设计忽略了被监测实体的交互
行为, 会造成WSNs 本身可靠而被监测实体的安全不满足情况, 这在生产安全中是非常危险的 …

Topology-dependent behavior of wireless communication makes the modeling and
verification of Mobile Ad hoc networks (MANETs) more complicated. Reliable Restricted …

Malfunctions of a mobile ad hoc network (MANET) protocol caused by a conceptual mistake
in the protocol design, rather than unreliable communication, can often be detected only by …

Malfunctions of a mobile ad hoc network (MANET) protocol caused by a conceptual mistake
in the protocol design, rather than unreliable communication, can often be detected only by …

If the functional design of the Wireless Sensor Networks system ignores the interaction
behaviors among the WSNs and the monitored entities, it will lead to the situation that a …

Applicability of wireless communications is rapidly growing in areas such as home networks
and satellite transmissions due to their high accessibility and low cost. Wireless …