Logics for Resources, Processes and Programs - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2004

Logics for Resources, Processes and Programs

Didier Galmiche
Peter O'Hearn
  • Fonction : Auteur
David Pym
  • Fonction : Auteur

Résumé

The objective of the workshop to provide a forum for discussion between researchers interested in logics of resources (from foundations to related calculi and applications) and researchers interested in languages and methods for specification of mobile, distributed, concurrent systems and their verification, including, but not limited to, the following topics: logics for resources (semantics, proof theory); process calculi, concurrency, resource-distribution; reasoning about programs and systems; extensions of logics, e.g. with modalities; languages of assertions, languages based on resource logics (query languages, pointers, trees, and graphs) and reasoning; theorem proving and model checking in resource logics (decision procedures, strategies, complexity results).

Domaines

Autre [cs.OH]
Fichier non déposé

Dates et versions

inria-00100050 , version 1 (26-09-2006)

Identifiants

  • HAL Id : inria-00100050 , version 1

Citer

Didier Galmiche, Peter O'Hearn, David Pym. Logics for Resources, Processes and Programs. ICALP - LICS 2004 Workshop, 2004, Turku, Finland, 192 p. ⟨inria-00100050⟩
34 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More