Logics for Resources, Processes and Programs

Didier Galmiche 1 Peter O'Hearn David Pym
1 TYPES - Logic, proof Theory and Programming
LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : 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).
Type de document :
Communication dans un congrès
ICALP - LICS 2004 Workshop, 2004, Turku, Finland, 192 p, 2004
Liste complète des métadonnées

https://hal.inria.fr/inria-00100050
Contributeur : Publications Loria <>
Soumis le : mardi 26 septembre 2006 - 10:13:44
Dernière modification le : mardi 24 avril 2018 - 13:36:39

Identifiants

  • HAL Id : inria-00100050, version 1

Collections

Citation

Didier Galmiche, Peter O'Hearn, David Pym. Logics for Resources, Processes and Programs. ICALP - LICS 2004 Workshop, 2004, Turku, Finland, 192 p, 2004. 〈inria-00100050〉

Partager

Métriques

Consultations de la notice

59