3994 search results - page 112 / 799 » A Linear Logical Framework |
104
click to vote
ICFP
2003
ACM
16 years 17 days ago
2003
ACM
We develop an explicit two level system that allows programmers to reason about the behavior of effectful programs. The first level is an ordinary ML-style type system, which conf...
110
click to vote
CORR
1999
Springer
15 years 8 days ago
1999
Springer
This paper introduces a logical system, called BV , which extends multiplicative linear logic by a non-commutative self-dual logical operator. This extension is particularly challe...
121
click to vote
MOVEP
2000
15 years 4 months ago
2000
We survey principles of model checking techniques for the automatic analysis of reactive systems. The use of model checking is exemplified by an analysis of the Needham-Schroeder p...
127
Voted
TCS
1998
15 years 7 days ago
1998
A method is described for proving “always possibly” properties of specifications in formalisms with linear-time trace semantics. It is shown to be relatively complete for TLA...
112
Voted
CONCUR
2010
Springer
15 years 1 months ago
2010
Springer
Higher dimensional automata (HDA) are a model of concurrency that can express most of the traditional partial order models like Mazurkiewicz traces, pomsets, event structures, or P...