Logics for Resources, Processes and Programs - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2004

Logics for Resources, Processes and Programs

Didier Galmiche
Peter O'Hearn
  • Function : Author
David Pym
  • Function : Author

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).

Domains

Other [cs.OH]
Not file

Dates and versions

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

Identifiers

  • HAL Id : inria-00100050 , version 1

Cite

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 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More