12981 search results - page 409 / 2597 » Model Checking (Abstract) |
128
click to vote
CONCUR
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. We present a capability calculus for checking partial confluence of channel-communicating concurrent processes. Our approach automatically detects more programs to be par...
117
Voted
FOSSACS
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. We answer an open question related to bisimilarity checking on labelled transition systems generated by prefix rewrite rules on words. Stirling (1996, 1998) proved the de...
122
click to vote
ASIAN
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. We provide a formal definition of information flows in XML transformations and, more generally, in the presence of type driven computations and describe a sound technique...
133
click to vote
JURIX
2008
15 years 6 months ago
2008
Abstract. This paper provides a novel mechanism to check whether business processes are compliant with business rules regulating them. The key point is that compliance is a relatio...
154
click to vote
SEC
2003
15 years 6 months ago
2003
Abstract This paper presents a systematic approach to developing Java Card applets and/or formal specifications for them, starting from descriptions in the form of finite state m...