383 search results - page 52 / 77 » Testing Concurrent Systems: A Formal Approach |
137
click to vote
BMCBI
2010
15 years 3 months ago
2010
Background: Genetic interaction profiles are highly informative and helpful for understanding the functional linkages between genes, and therefore have been extensively exploited ...
116
click to vote
ISSTA
2009
ACM
15 years 10 months ago
2009
ACM
This paper explores an approach to improving the practical usability of static verification tools for debugging synchronization idioms. Synchronization idioms such as mutual excl...
116
click to vote
ESOP
2007
Springer
15 years 9 months ago
2007
Springer
Abstract We present the semantics and proof system for an objectoriented language with active objects, asynchronous method calls, and futures. The language, based on Creol, disting...
114
Voted
ECBS
2009
IEEE
15 years 10 months ago
2009
IEEE
In this paper, we aim to ascribe a meaning to SysML activity diagrams. To this end, we propose a dedicated algebraic-like language, namely activity calculus, and an operational se...
112
Voted
FORMATS
2003
Springer
15 years 8 months ago
2003
Springer
We present a process algebra suitable to the modelling of timed concurrent systems and to their efficient verification through model checking. The algebra is provided with two con...