1022 search results - page 11 / 205 » Relators and Metric Bisimulations |
VMCAI
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. The paper presents methods for model checking a class of possibly infinite state concurrent programs using various types of bi-simulation reductions. The proposed method...
102
click to vote
FOSSACS
2004
Springer
15 years 5 months ago
2004
Springer
The pi calculus holds the promise of compile-time checks for whether a given program will have the correct interactive behaviour. The theory behind such checks is called bisimulati...
FOSSACS
2004
Springer
15 years 5 months ago
2004
Springer
More than a decade ago, Moller and Tofts published their seminal work on relating processes that are annotated with lower time bounds, with respect to speed. Their paper has left o...
79
Voted
SAC
2004
ACM
15 years 5 months ago
2004
ACM
There is still no standardization of software measures and metrics extraction tools have to be updated frequently to handle the changes. A possible solution is represented by usin...
214
click to vote
POPL
2006
ACM
16 years 1 days ago
2006
ACM
Noninterference is the basic semantical condition used to account for confidentiality and integrity-related properties in programming languages. There appears to be an at least im...