112
click to vote
CONCUR
15 years 6 months ago
2007 Springer 
Abstract. We consider linear time temporal logic enriched with semiextended regular expressions through various operators that have been proposed in the literature, in particular i...
105
click to vote
CONCUR
15 years 4 months ago
2007 Springer
We consider message sequence charts enriched with timing constraints between pairs of events. As in the untimed setting, an infinite family of time-constrained message sequence cha...
114
click to vote
CONCUR
15 years 6 months ago
2007 Springer 
Scenario languages based on Message Sequence Charts (MSCs) have been widely studied in the last decade [21,20,3,15,12,19,14]. The high expressive power of MSCs renders many basic ...
105
click to vote
CONCUR
15 years 6 months ago
2007 Springer
Abstract. Reactive Systems `a la Leifer and Milner allow to derive from a reaction semantics definition an LTS equipped with a bisimilarity relation which is a congruence. This th...
131
click to vote
CONCUR
15 years 6 months ago
2007 Springer
Abstract. Modelling is becoming a necessity in studying biological signalling pathways, because the combinatorial complexity of such systems rapidly overwhelms intuitive and qualit...
|
Distributed And Parallel Computing