3239 search results - page 106 / 648 » A Logical Process Calculus |
145
click to vote
ECOOP
1995
Springer
15 years 7 months ago
1995
Springer
Abstract. This paper presents a framework of specification and verification for distributed real-time object-oriented systems. An earlier paper [17] introduced a process calculus...
292
Voted
Book
"I wrote this text for a one semester course at the sophomore-junior level. Our experience with
students taking our junior physics courses is that even if they've had th...
119
Voted
CSFW
2007
IEEE
15 years 7 months ago
2007
IEEE
We consider the problem of statically verifying the conformance of the code of a system to an explicit authorization policy. In a distributed setting, some part of the system may ...
129
click to vote
LPAR
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Permutative logic (PL) is a noncommutative variant of multiplicative linear logic (MLL) arising from recent investigations concerning the topology of linear proofs. Permu...
115
Voted
ENTCS
2008
15 years 3 months ago
2008
Logical frameworks have enjoyed wide adoption as meta-languages for describing deductive systems. While the techniques for representing object languages in logical frameworks are ...