562 search results - page 14 / 113 » A Concurrent Model for Linear Logic |
81
Voted
ENTCS
2008
14 years 11 months ago
2008
This paper considers QLtl, a quantitative analagon of Ltl and presents algorithms for model checking QLtl over quantitative versions of Kripke structures and Markov chains.
LICS
2005
IEEE
15 years 5 months ago
2005
IEEE
LFCS
2007
Springer
15 years 5 months ago
2007
Springer
90
Voted
ENTCS
2008
14 years 11 months ago
2008
This paper explores a unification of the ideas of Concurrent Separation Logic with those of Communicating Sequential Processes. It extends separation logic by an operator for sepa...
72
Voted
FAC
2000
14 years 11 months ago
2000
Typically, program design involves constructing a program P that implements a given specification S; that is, the set P of executions of P is a subset of the set S of executions s...