2060 search results - page 248 / 412 » The Composition of Event-B Models |
166
click to vote
ICST
2008
IEEE
16 years 29 days ago
2008
IEEE
Real-time embedded systems typically include concurrent tasks of different priorities with time-dependent operations accessing common resources. In this context, unsynchronized pa...
169
click to vote
EWSA
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. Documenting software architectures is a key aspect to achieve success when communicating the architecture to different stakeholders. Several architectural views have been...
149
click to vote
RELMICS
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. A Concurrent Kleene Algebra offers two composition operators, one that stands for sequential execution and the other for concurrent n [10]. In this paper we investigate ...
202
click to vote
TACAS
1998
Springer
15 years 10 months ago
1998
Springer
The latest ITU-T standard syntax of Message Sequence Charts (MSCs) 16] o ers several operators to compose MSCs in a hierarchical, iterating, and nondeterministic way. However, curr...
168
click to vote
CONCUR
1997
Springer
15 years 10 months ago
1997
Springer
Abstract. We extend cc to allow the specification of a discrete probability distribution for random variables. We demonstrate the expressiveness of pcc by synthesizing combinators...