We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

cs.LO

Change to browse by:

References & Citations

DBLP - CS Bibliography

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo

Computer Science > Logic in Computer Science

Title: Proceedings 9th International Workshop on Developments in Computational Models

Abstract: This volume contains a selection of the papers presented at the Ninth International Workshop on Developments in Computational Models (DCM 2013) held in Buenos Aires, Argentina on 26th August 2013, as a satellite event of CONCUR 2013. Several new models of computation have emerged in the last years, and many developments of traditional computational models have been proposed with the aim of taking into account the new demands of computer systems users and the new capabilities of computation engines. A new computational model, or a new feature in a traditional one, usually is reflected in a new family of programming languages, and new paradigms of software development. The aim of this workshop is to bring together researchers who are currently developing new computational models or new features for traditional computational models, in order to foster their interaction, to provide a forum for presenting new ideas and work in progress, and to enable newcomers to learn about current activities in this area.
Comments: EPTCS 144, 2014
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
DOI: 10.4204/EPTCS.144
Cite as: arXiv:1403.7685 [cs.LO]
  (or arXiv:1403.7685v1 [cs.LO] for this version)

Submission history

From: EPTCS [view email]
[v1] Sun, 30 Mar 2014 00:58:40 GMT (3kb)

Link back to: arXiv, form interface, contact.