1076 search results - page 15 / 216 » Operations on proofs and labels |
LICS
2010
IEEE
13 years 6 months ago
2010
IEEE
Psi-calculi extend the pi-calculus with nominal datatypes to represent data, communication channels, and logics for facts and conditions. This general framework admits highly expr...
WCE
2007
13 years 8 months ago
2007
—It is generally conjectured that the Mann iteration converges faster than the Ishikawa iteration for any operator defined on an arbitrary closed convex subset of a Banach space...
CHARME
2003
Springer
14 years 22 days ago
2003
Springer
This paper shows how classic inductive assertions can be used in conjunction with an operational semantics to prove partial correctness properties of programs. The method imposes o...
IANDC
2006
13 years 7 months ago
2006
We study three operational models of name-passing process calculi: coalgebras on (pre)sheaves, indexed labelled transition systems, and history dependent automata. The coalgebraic...
TYPES
2007
Springer
14 years 1 months ago
2007
Springer
This paper presents a new proof language for the Coq proof assistant. This language uses the declarative style. It aims at providing a simple, natural and robust alternative to the...