681 search results - page 99 / 137 » A Logic for True Concurrency |
114
click to vote
ISAAC
1995
Springer
15 years 3 months ago
1995
Springer
Ordered Binary-Decision Diagrams (OBDD) are the state-of-the-art data structure for boolean function manipulation and there exist several software packages for OBDD manipulation. ...
100
click to vote
AKA
2004
15 years 1 months ago
2004
: The transaction concept enables the efficient development of concurrent and fault tolerant applications. Transaction services are therefore an essential part of modern component ...
132
click to vote
ACST
2006
15 years 1 months ago
2006
Adaptive fault isolation methods based on discrepancyenabled pairwise comparisons are developed for reconfigurable logic devices. By observing the discrepancy characteristics of m...
120
click to vote
ROOM
2000
15 years 1 months ago
2000
We describe a language which can be used to model business processes (both technical and nontechnical). It has a formal semantics, so as to enable formal analysis and prediction o...
100
click to vote
ENTCS
2010
14 years 12 months ago
2010
This paper presents a formal framework for compositional reasoning about secure systems. A key insight is to view a trusted system in terms of the interfaces that the various comp...